
Publication details
Publisher: Birkhäuser
Place: Basel
Year: 2015
Series: Studies in Universal Logic
ISBN (Hardback): 9783319153674
Full citation:
Arnold Koslow, Arthur Buchsbaum (eds), The road to universal logic II, Basel, Birkhäuser, 2015
The road to universal logic II
Contents
Finite-variable logics do not have weak beth definability property
Hajnal Andréka, István Németi
125-133
Peirce's role in the history of logic
lingua universalis and calculus ratiocinator
Irving H. Anellis
135-169
The relation between logic, set theory and topos theory as it is used by Alain Badiou
Régis Angot-Pellissier
181-200
A note on the internal logic of constructive mathematics
the gel"fond-schneider theorem in transcendental number theory
Yvon Gauthier
297-306
Deciding theoremhood in fibred logics without shared connectives
Sergio Marcelino, Carlos Caleiro, Pedro Baltazar
387-406
The distributed ontology, modeling and specification language – dol
Till Mossakowski, Mihai Codescu, Fabian Neuhaus, Oliver Kutz
489-520
Being consistent about inconsistency
toward the rational fusing of inconsistent propositional logic bases
Didier Dubois, Henri Prade
565-571
Epistemological and ontological paraconsistency in quantum mechanics
for and against Bohrian philosophy
Christian de Ronde
589-604