default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogica Universalis, Volume 16
Volume 16, Number 1-2, June 2022
- Jean-Yves Béziau:
The 2nd World Logic Prizes Contest, 7th UNILOG, Crete 2022. 1-9 - Zvonimir Sikic:
Kneale's Natural Deductions as a Notational Variant of Beth's Tableaus. 11-26 - Bama Srinivasan
, Ranjani Parthasarathi:
A Formalism to Specify Unambiguous Instructions Inspired by Mīmāṁsā in Computational Settings. 27-55 - Víctor Aranda:
Completeness: From Husserl to Carnap. 57-83 - Sérgio Marcelino:
An Unexpected Boolean Connective. 85-103 - Ievgen Ivanov:
On Induction Principles for Partial Orders. 105-147 - Rafael Félix Mora Ramirez:
A Pragmatic Dissolution of Curry's Paradox. 149-175 - Yana Rumenova, Tinko Tinchev:
Modal Definability: Two Commuting Equivalence Relations. 177-194 - Tomasz Jarmuzek, Mateusz Klonowski:
Tableaux for Logics of Content Relationship and Set-Assignment Semantics. 195-219 - Christian G. Fermüller, Timo Lang, Alexandra Pavlova:
From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic. 221-235 - Costas Dimitracopoulos:
Analytics vs. Elements. 237-252 - Ioachim Drugus:
A Universal Algebraic Set Theory Built on Mereology with Applications. 253-283 - Guillaume Aucher:
On the Universality of Atomic and Molecular Logics via Protologics. 285-322 - Sejla Dautovic:
A Probabilistic Logic Between LPP1 and LPP2. 323-333 - María del Rosario Martínez-Ordaz:
A Methodological Shift in Favor of (Some) Paraconsistency in the Sciences. 335-354 - Ciro Russo:
Coproduct and Amalgamation of Deductive Systems by Means of Ordered Algebras. 355-380
Volume 16, Number 3, September 2022
- David Makinson:
Frege's Ontological Diagram Completed. 381-387 - Norihiro Kamide:
An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi. 389-417 - Abilio Rodrigues, Henrique Antunes:
First-order Logics of Evidence and Truth with Constant and Variable Domains. 419-449 - Tin Adlesic, Vedran Cacic:
A Modern Rigorous Approach to Stratification in NF/NFU. 451-468 - Kenji Tokuo:
Natural Deduction for Quantum Logic. 469-497 - Mirjana Borisavljevic:
Maximum Segments as Natural Deduction Images of Some Cuts. 499-533
Volume 16, Number 4, December 2022
- Andrew Schumann, Jens Lemanski:
Logic, Spatial Algorithms and Visual Reasoning. 535-543 - Saloua Chatti:
Two Squares of Opposition in Two Arabic Treatises: al-Suhrawardī and al-Sanūsī. 545-580 - Hans Smessaert, Lorenz Demey:
On the Logical Geometry of Geometric Angles. 581-601 - Adam Trybus:
Three-Dimensional Affine Spatial Logics. 603-620 - Fabien Schang:
Things May Not Be Simple: On Wittgenstein's Internal Relations. 621-641 - Tomohiro Shirakawa, Hiroshi Sato, Kazuki Ishimaru:
Observation of Autonomous Behavioral Selection in Physarum Plasmodium. 643-653 - Andrew Adamatzky, Phil Ayres, Alexander E. Beasley, Nic Roberts, Han A. B. Wösten:
Logics in Fungal Mycelium Networks. 655-669 - Jerzy Król, Andrew Schumann, Krzysztof Bielas:
Brain and Its Universal Logical Model of Multi-Agent Biological Systems. 671-687
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 2026-08-28 01:21 CEST 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, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
