Studies in Universal Logic - The Road to Universal Logic
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319153674, 9783319153681

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Note on the Internal Logic of Constructive Mathematics: The Gel’fond-Schneider Theorem in Transcendental Number Theory

Studies in Universal Logic - The Road to Universal Logic ◽

10.1007/978-3-319-15368-1_13 ◽

2015 ◽

pp. 297-306

Author(s):

Yvon Gauthier

Keyword(s):

Number Theory ◽

Transcendental Number ◽

Constructive Mathematics ◽

Internal Logic

Download Full-text

Peirce’s Role in the History of Logic: Lingua Universalis and Calculus Ratiocinator

Studies in Universal Logic - The Road to Universal Logic ◽

10.1007/978-3-319-15368-1_5 ◽

2015 ◽

pp. 135-169

Author(s):

Irving H. Anellis

Keyword(s):

History Of Logic ◽

History Of

Download Full-text

From (Paraconsistent) Topos Logic to Universal (Topos) Logic

Studies in Universal Logic - The Road to Universal Logic ◽

10.1007/978-3-319-15368-1_12 ◽

2015 ◽

pp. 263-295 ◽

Cited By ~ 3

Author(s):

Luis Estrada-González

Download Full-text

Is Logic Universal or Hierarchical?

Studies in Universal Logic - The Road to Universal Logic ◽

10.1007/978-3-319-15368-1_14 ◽

2015 ◽

pp. 307-318

Author(s):

Ivor Grattan-Guinness

Download Full-text

The Distributed Ontology, Modeling and Specification Language – DOL

Studies in Universal Logic - The Road to Universal Logic ◽

10.1007/978-3-319-15368-1_21 ◽

2015 ◽

pp. 489-520 ◽

Cited By ~ 19

Author(s):

Till Mossakowski ◽

Mihai Codescu ◽

Fabian Neuhaus ◽

Oliver Kutz

Keyword(s):

Specification Language ◽

Ontology Modeling ◽

Distributed Ontology

Download Full-text

Being Consistent About Inconsistency: Toward the Rational Fusing of Inconsistent Propositional Logic Bases

Studies in Universal Logic - The Road to Universal Logic ◽

10.1007/978-3-319-15368-1_25 ◽

2015 ◽

pp. 565-571 ◽

Cited By ~ 1

Author(s):

Didier Dubois ◽

Henri Prade

Keyword(s):

Propositional Logic

Download Full-text

Potentiality and Contradiction in Quantum Mechanics

Studies in Universal Logic - The Road to Universal Logic ◽

10.1007/978-3-319-15368-1_8 ◽

2015 ◽

pp. 201-211 ◽

Cited By ~ 2

Author(s):

Jonas R. Becker Arenhart ◽

Décio Krause

Keyword(s):

Quantum Mechanics

Download Full-text

Logics and Their Galaxies

Studies in Universal Logic - The Road to Universal Logic ◽

10.1007/978-3-319-15368-1_10 ◽

2015 ◽

pp. 243-252 ◽

Cited By ~ 1

Author(s):

Hilan Bensusan ◽

Alexandre Costa-Leite ◽

Edelcio Gonçalves de Souza

Download Full-text

Finite-Variable Logics Do Not Have Weak Beth Definability Property

Studies in Universal Logic - The Road to Universal Logic ◽

10.1007/978-3-319-15368-1_4 ◽

2015 ◽

pp. 125-133

Author(s):

Hajnal Andréka ◽

István Németi

Keyword(s):

Beth Definability ◽

Beth Definability Property

Download Full-text

The Relation Between Logic, Set Theory and Topos Theory as it Is Used by Alain Badiou

Studies in Universal Logic - The Road to Universal Logic ◽

10.1007/978-3-319-15368-1_7 ◽

2015 ◽

pp. 181-200 ◽

Cited By ~ 3

Author(s):

Régis Angot-Pellissier

Keyword(s):

Set Theory ◽

Topos Theory ◽

Alain Badiou

Download Full-text

Studies in Universal Logic - The Road to Universal LogicLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

A Note on the Internal Logic of Constructive Mathematics: The Gel’fond-Schneider Theorem in Transcendental Number Theory

Peirce’s Role in the History of Logic: Lingua Universalis and Calculus Ratiocinator

From (Paraconsistent) Topos Logic to Universal (Topos) Logic

Is Logic Universal or Hierarchical?

The Distributed Ontology, Modeling and Specification Language – DOL

Being Consistent About Inconsistency: Toward the Rational Fusing of Inconsistent Propositional Logic Bases

Potentiality and Contradiction in Quantum Mechanics

Logics and Their Galaxies

Finite-Variable Logics Do Not Have Weak Beth Definability Property

The Relation Between Logic, Set Theory and Topos Theory as it Is Used by Alain Badiou

Studies in Universal Logic - The Road to Universal Logic
Latest Publications