Sign in
Logica Universalis
2007
2012
2018
2023
2007
2023
Keyphrases
Publications
volume 17, number 1, 2023
Sayantan Roy
,
Sankha S. Basu
,
Mihir K. Chakraborty
Lindenbaum-Type Logical Structures.
Logica Universalis
17 (1) (2023)
Bartosz Wieckowski
Negative Predication and Distinctness.
Logica Universalis
17 (1) (2023)
Cheng Liao
Games and Lindström Theorems.
Logica Universalis
17 (1) (2023)
Marc Aiguier
,
Isabelle Bloch
Abstract Categorical Logic.
Logica Universalis
17 (1) (2023)
volume 17, number 2, 2023
Nissim Francez
A Dialectic Contra-Classical Logic.
Logica Universalis
17 (2) (2023)
Hugolin Bergier
An Intensional Formalization of Generic Statements.
Logica Universalis
17 (2) (2023)
Angelina Ilic-Stepic
,
Zoran Ognjanovic
,
Aleksandar Perovic
Probability Logics for Reasoning About Quantum Observations.
Logica Universalis
17 (2) (2023)
Ekaterina Kubyshkina
,
Mattia Petrolo
Revising the Elenchus via Belief Revision.
Logica Universalis
17 (2) (2023)
Nathan Salmón
The Decision Problem for Effective Procedures.
Logica Universalis
17 (2) (2023)
volume 17, number 3, 2023
Chai Wah Wu
On Rearrangement Inequalities for Triangular Norms and Co-norms in Multi-valued Logic.
Logica Universalis
17 (3) (2023)
Krzysztof A. Krawczyk
,
Bozena Pieta
Ultravaluations and their Applications in sfCPL.
Logica Universalis
17 (3) (2023)
Hamzeh Mohammadi
,
Mojtaba Aghaei
Rooted Hypersequent Calculus for Modal Logic S5.
Logica Universalis
17 (3) (2023)
Maristela Rocha
A Study of the Metatheory of Assertoric Syllogistic.
Logica Universalis
17 (3) (2023)
John Grant
Measuring Inconsistency in Generalized Propositional Logic Extended with Nonunary Operators.
Logica Universalis
17 (3) (2023)
Gennady Shtakser
Epistemic Logics with Quantification Over Epistemic Operators: Decidability and Expressiveness.
Logica Universalis
17 (3) (2023)
volume 17, number 4, 2023
Alexei Y. Muravitsky
Rejection: A Historico-Epistemological View.
Logica Universalis
17 (4) (2023)
Urszula Wybraniec-Skardowska
Operator Counterparts of Types of Reasoning.
Logica Universalis
17 (4) (2023)
Alex Citkin
Unified Deductive Systems: An Outline.
Logica Universalis
17 (4) (2023)
Gabriele Pulcini
,
Achille C. Varzi
Complementary Proof Nets for Classical Logic.
Logica Universalis
17 (4) (2023)
Alexei Y. Muravitsky
On Consequence and Rejection as Operators.
Logica Universalis
17 (4) (2023)
Alex Citkin
,
Alexei Y. Muravitsky
Preface to the Rejection Special Issue.
Logica Universalis
17 (4) (2023)
Tomasz F. Skura
Finite Tree-Countermodels via Refutation Systems in Extensions of Positive Logic with Strong Negation.
Logica Universalis
17 (4) (2023)
volume 16, number 1-2, 2022
Zvonimir Sikic
Kneale's Natural Deductions as a Notational Variant of Beth's Tableaus.
Logica Universalis
16 (1-2) (2022)
Christian G. Fermüller
,
Timo Lang
,
Alexandra Pavlova
From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic.
Logica Universalis
16 (1-2) (2022)
Rafael Félix Mora Ramirez
A Pragmatic Dissolution of Curry's Paradox.
Logica Universalis
16 (1-2) (2022)
Sérgio Marcelino
An Unexpected Boolean Connective.
Logica Universalis
16 (1-2) (2022)
María del Rosario Martínez-Ordaz
A Methodological Shift in Favor of (Some) Paraconsistency in the Sciences.
Logica Universalis
16 (1-2) (2022)
Ievgen Ivanov
On Induction Principles for Partial Orders.
Logica Universalis
16 (1-2) (2022)
Bama Srinivasan
,
Ranjani Parthasarathi
A Formalism to Specify Unambiguous Instructions Inspired by Mīmāṁsā in Computational Settings.
Logica Universalis
16 (1-2) (2022)
Guillaume Aucher
On the Universality of Atomic and Molecular Logics via Protologics.
Logica Universalis
16 (1-2) (2022)
Sejla Dautovic
.
Logica Universalis
16 (1-2) (2022)
Tomasz Jarmuzek
,
Mateusz Klonowski
Tableaux for Logics of Content Relationship and Set-Assignment Semantics.
Logica Universalis
16 (1-2) (2022)
Víctor Aranda
Completeness: From Husserl to Carnap.
Logica Universalis
16 (1-2) (2022)
Ioachim Drugus
A Universal Algebraic Set Theory Built on Mereology with Applications.
Logica Universalis
16 (1-2) (2022)
Costas Dimitracopoulos
Analytics vs. Elements.
Logica Universalis
16 (1-2) (2022)
Ciro Russo
Coproduct and Amalgamation of Deductive Systems by Means of Ordered Algebras.
Logica Universalis
16 (1-2) (2022)
volume 16, number 3, 2022
Mirjana Borisavljevic
Maximum Segments as Natural Deduction Images of Some Cuts.
Logica Universalis
16 (3) (2022)
Norihiro Kamide
An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi.
Logica Universalis
16 (3) (2022)
David Makinson
Frege's Ontological Diagram Completed.
Logica Universalis
16 (3) (2022)
Tin Adlesic
,
Vedran Cacic
A Modern Rigorous Approach to Stratification in NF/NFU.
Logica Universalis
16 (3) (2022)
K. Tokuo
Natural Deduction for Quantum Logic.
Logica Universalis
16 (3) (2022)
Abilio Rodrigues
,
Henrique Antunes
First-order Logics of Evidence and Truth with Constant and Variable Domains.
Logica Universalis
16 (3) (2022)
volume 16, number 4, 2022
Andrew Schumann
,
Jens Lemanski
Logic, Spatial Algorithms and Visual Reasoning.
Logica Universalis
16 (4) (2022)
Andrew Adamatzky
,
Phil Ayres
,
Alexander E. Beasley
,
Nic Roberts
,
Han A. B. Wösten
Logics in Fungal Mycelium Networks.
Logica Universalis
16 (4) (2022)
Adam Trybus
Three-Dimensional Affine Spatial Logics.
Logica Universalis
16 (4) (2022)
Fabien Schang
Things May Not Be Simple: On Wittgenstein's Internal Relations.
Logica Universalis
16 (4) (2022)
Hans Smessaert
,
Lorenz Demey
On the Logical Geometry of Geometric Angles.
Logica Universalis
16 (4) (2022)
Tomohiro Shirakawa
,
Hiroshi Sato
,
Kazuki Ishimaru
Observation of Autonomous Behavioral Selection in Physarum Plasmodium.
Logica Universalis
16 (4) (2022)
Saloua Chatti
Two Squares of Opposition in Two Arabic Treatises: al-Suhrawardī and al-Sanūsī.
Logica Universalis
16 (4) (2022)
Jerzy Król
,
Andrew Schumann
,
Krzysztof Bielas
Brain and Its Universal Logical Model of Multi-Agent Biological Systems.
Logica Universalis
16 (4) (2022)