default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogica Universalis, Volume 11
Volume 11, Number 1, March 2017
- Jean-Yves Béziau, Ricardo Sousa Silvestre:
Logic and Religion. 1-12 - Purushottama Bilimoria:
Thinking Negation in Early Hinduism and Classical Indian Philosophy. 13-33 - Ricardo Sousa Silvestre:
Karma Theory, Determinism, Fatalism and Freedom of Will. 35-60 - Musa Akrami:
From Logic in Islam to Islamic Logic. 61-83 - Wolfgang Lenzen:
Leibniz's Ontological Proof of the Existence of God and the Problem of »Impossible Objects«. 85-104 - Jean-Pierre Desclés:
A Logical Analysis of the Anselm's Unum Argumentum (from Proslogion). 105-119 - Jacob Archambault:
Monotonic and Non-monotonic Embeddings of Anselm's Proof. 121-138 - Christoph Benzmüller
, L. Weber, Bruno Woltzenlogel Paleo:
Computer-Assisted Analysis of the Anderson-Hájek Ontological Controversy. 139-151
Volume 11, Number 2, June 2017
- Andreas Bernhard Michael Brunner, Steffen Lewitzka:
Topological Representation of Intuitionistic and Distributive Abstract Logics. 153-175 - Jim Burton, John Howse:
The Semiotics of Spider Diagrams. 177-204 - Juan Carlos Agudelo Agudelo:
Translating Non-classical Logics into Classical Logic by Using Hidden Variables. 205-224 - Fabien Schang, James Trafford:
Is 'No' a Force-Indicator? Yes, Sooner or Later! 225-251 - Alexei Y. Muravitsky:
Interconnection of the Lattices of Extensions of Four Logics. 253-281
Volume 11, Number 3, September 2017
- Carlos Caleiro, Luca Viganò:
Compositional Meaning in Logic. 283-295 - Arnon Avron:
Self-Extensional Three-Valued Paraconsistent Logics. 297-315 - Norihiro Kamide, Yaroslav Shramko:
Modal Multilattice Logic. 317-343 - Ori Lahav, João Marcos, Yoni Zohar:
Sequent Systems for Negative Modalities. 345-382 - Sérgio Marcelino, Umberto Rivieccio:
Locally Tabular \(\ne \) Locally Finite. 383-400 - Daniel Skurt:
A Note on Two's Company: "The Humbug of Many Logical Values". 401-407
Volume 11, Number 4, December 2017
- Pavel Arazim:
Expressivist Perspective on Logicality. 409-419 - Alex Citkin:
Admissibility in Positive Logics. 421-437 - Luciano J. González, Marina Lattanzi, Alejandro Petrovich:
An Alternative Definition of Quantifiers on Four-Valued Łukasiewicz Algebras. 439-463 - Jonas R. Becker Arenhart, Ederson Safra Melo:
Classical Negation Strikes Back: Why Priest's Attack on Classical Negation Can't Succeed. 465-487 - Nissim Francez, Michael Kaminski:
A Proof-Theoretic Semantics for Exclusion. 489-505 - Alejandro Hernández-Tello, José R. Arrazola Ramírez, Mauricio Javier Osorio Galindo:
The Pursuit of an Implication for the Logics L3A and L3B. 507-524 - Yaroslav I. Petrukhin:
Natural Deduction for Fitting's Four-Valued Generalizations of Kleene's Logics. 525-532
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
