68 Published articles
- RSS status: OK
- Last published: today
The negative side of logic: a study on antivalidity
Published on 13 Nov 2026
by Jonathan Erenfryd Federico Pailos a Department of Philosophy, University of Buenos Aires, Buenos Aires, Argentinab IIF-SADAF, National Scientific and Technical Research Council (CONICET), Buenos Aires, Argentinac Department of Computer Science, University of Tübingen, Tübingen, Germany
Generalised definablility of discrete time interval-based temporal connectives
Published on 28 Oct 2026
by Dimitar P. Guelev Department of Algebra and Logic, Institute of Mathematics and Informatics, Bulgarian Academy of Sciences, Sofia, Bulgaria
Concurrent Heyting algebras: an algebraic semantics for an intuitionistic modal logic
Published on 6 Jul 2026
by Sergio A. Celani Luciano J. González Rocío E. Wagner a Facultad de Ciencias Exactas, CONICET, Universidad Nacional del Centro de la Provincia de Buenos Aires, Tandil, Argentinab Facultad de Ciencias Exactas y Naturales, CONICET, Universidad Nacional de La Pampa, Santa Rosa, Argentina
Concurrent Heyting algebras: an algebraic semantics for an intuitionistic modal logic
Published on 6 Jul 2026
by Sergio A. Celani Luciano J. González Rocío E. Wagner a Facultad de Ciencias Exactas, CONICET, Universidad Nacional del Centro de la Provincia de Buenos Aires, Tandil, Argentinab Facultad de Ciencias Exactas y Naturales, CONICET, Universidad Nacional de La Pampa, Santa Rosa, Argentina
Concurrent Heyting algebras: an algebraic semantics for an intuitionistic modal logic
Published on 6 Jul 2026
by Sergio A. Celani Luciano J. González Rocío E. Wagner a Facultad de Ciencias Exactas, CONICET, Universidad Nacional del Centro de la Provincia de Buenos Aires, Tandil, Argentinab Facultad de Ciencias Exactas y Naturales, CONICET, Universidad Nacional de La Pampa, Santa Rosa, Argentina
Bridging the gap between natural logics and description logics
Published on 12 Jun 2026
by Lawrence S. Moss Antonio Badia a Department of Mathematics, Indiana University, Bloomington, IN, USAb Computer Science and Engineering Department, University of Louisville, Louisville, KY, USA
Bridging the gap between natural logics and description logics
Published on 12 Jun 2026
by Lawrence S. Moss Antonio Badia a Department of Mathematics, Indiana University, Bloomington, IN, USAb Computer Science and Engineering Department, University of Louisville, Louisville, KY, USA
Bridging the gap between natural logics and description logics
Published on 12 Jun 2026
by Lawrence S. Moss Antonio Badia a Department of Mathematics, Indiana University, Bloomington, IN, USAb Computer Science and Engineering Department, University of Louisville, Louisville, KY, USA
A bi-nested calculus for intuitionistic K: proofs and countermodels
Published on 13 May 2026
by Han Gao Marianna Girlando Nicola Olivetti a LIS, Aix-Marseille University, CNRS, Marseille, Franceb University of Amsterdam, Amsterdam, The Netherlandsc University of Southern Denmark, Odense, Denmark
A bi-nested calculus for intuitionistic K: proofs and countermodels
Published on 13 May 2026
by Han Gao Marianna Girlando Nicola Olivetti a LIS, Aix-Marseille University, CNRS, Marseille, Franceb University of Amsterdam, Amsterdam, The Netherlandsc University of Southern Denmark, Odense, Denmark
A bi-nested calculus for intuitionistic K: proofs and countermodels
Published on 13 May 2026
by Han Gao Marianna Girlando Nicola Olivetti a LIS, Aix-Marseille University, CNRS, Marseille, Franceb University of Amsterdam, Amsterdam, The Netherlandsc University of Southern Denmark, Odense, Denmark
A reduction of input/output logics to SAT
Published on 27 Apr 2026
by A. Steen Faculity of Mathematics and Natural Sciences, Institute of Mathematics and Computer Science, University of Greifswald, Greifswald, Germany
A reduction of input/output logics to SAT
Published on 27 Apr 2026
by A. Steen Faculity of Mathematics and Natural Sciences, Institute of Mathematics and Computer Science, University of Greifswald, Greifswald, Germany
A reduction of input/output logics to SAT
Published on 27 Apr 2026
by A. Steen Faculity of Mathematics and Natural Sciences, Institute of Mathematics and Computer Science, University of Greifswald, Greifswald, Germany
Some generalisations of prime filters in BL-algebras
Published on 24 Apr 2026
by Christian Maxime Steve Oumarou Arsham Borumand Saeid a Department of Fundamental Sciences, National Advanced School of Mines and Petroleum Industries, University of Maroua, Maroua, Far-North Region, Cameroonb Department of Pure Mathematics, Faculty of Mathematics and Computer, Shahid Bahonar University of Kerman, Kerman, Iranc Saveetha School of Engineering, Saveetha Institute of Medical and Technical Sciences (SIMATS), Chennai, India
Some generalisations of prime filters in BL-algebras
Published on 24 Apr 2026
by Christian Maxime Steve Oumarou Arsham Borumand Saeid a Department of Fundamental Sciences, National Advanced School of Mines and Petroleum Industries, University of Maroua, Maroua, Far-North Region, Cameroonb Department of Pure Mathematics, Faculty of Mathematics and Computer, Shahid Bahonar University of Kerman, Kerman, Iranc Saveetha School of Engineering, Saveetha Institute of Medical and Technical Sciences (SIMATS), Chennai, India
Some generalisations of prime filters in BL-algebras
Published on 24 Apr 2026
by Christian Maxime Steve Oumarou Arsham Borumand Saeid a Department of Fundamental Sciences, National Advanced School of Mines and Petroleum Industries, University of Maroua, Maroua, Far-North Region, Cameroonb Department of Pure Mathematics, Faculty of Mathematics and Computer, Shahid Bahonar University of Kerman, Kerman, Iranc Saveetha School of Engineering, Saveetha Institute of Medical and Technical Sciences (SIMATS), Chennai, India
MV-algebraic coherent frames derived from stable closure operations
Published on 17 Feb 2026
by O.A. Heubo Kwegna J.B. Nganou Y. L. Tenkeu Jeufack a Department of Mathematical Sciences, Saginaw Valley State University, Saginaw, MI, USAb Department of Mathematics and Statistics, University of Houston Downtown, Houston, TX, USAc Department of Mathematics, University of Yaoundé 1, Yaoundé, Cameroon
MV-algebraic coherent frames derived from stable closure operations
Published on 17 Feb 2026
by O.A. Heubo Kwegna J.B. Nganou Y. L. Tenkeu Jeufack a Department of Mathematical Sciences, Saginaw Valley State University, Saginaw, MI, USAb Department of Mathematics and Statistics, University of Houston Downtown, Houston, TX, USAc Department of Mathematics, University of Yaoundé 1, Yaoundé, Cameroon
MV-algebraic coherent frames derived from stable closure operations
Published on 17 Feb 2026
by O.A. Heubo Kwegna J.B. Nganou Y. L. Tenkeu Jeufack a Department of Mathematical Sciences, Saginaw Valley State University, Saginaw, MI, USAb Department of Mathematics and Statistics, University of Houston Downtown, Houston, TX, USAc Department of Mathematics, University of Yaoundé 1, Yaoundé, Cameroon
A system for paraconsistent reasoning
Published on 16 Feb 2026
by Bruno Costa Coscarelli Instituto de Ciências Puras e Aplicadas (ICPA), Universidade Federal deItajubá, Itabira, Brazil
A system for paraconsistent reasoning
Published on 16 Feb 2026
by Bruno Costa Coscarelli Instituto de Ciências Puras e Aplicadas (ICPA), Universidade Federal deItajubá, Itabira, Brazil
A system for paraconsistent reasoning
Published on 16 Feb 2026
by Bruno Costa Coscarelli Instituto de Ciências Puras e Aplicadas (ICPA), Universidade Federal deItajubá, Itabira, Brazil
Hyperconnexivity, compositionality and non-deterministic semantics
Published on 12 Feb 2026
by Alex Belikov Department of Logic, Faculty of Philosophy, Lomonosov Moscow State University, Moscow, Russia
Hyperconnexivity, compositionality and non-deterministic semantics
Published on 12 Feb 2026
by Alex Belikov Department of Logic, Faculty of Philosophy, Lomonosov Moscow State University, Moscow, Russia
Hyperconnexivity, compositionality and non-deterministic semantics
Published on 12 Feb 2026
by Alex Belikov Department of Logic, Faculty of Philosophy, Lomonosov Moscow State University, Moscow, Russia
Non-prioritised kernel contraction
Published on 7 Jan 2026
by Theofanis Aravanis Department of Digital Systems, School of Economics and Technology, University of the Peloponnese, Sparta, Greece
Tableaux for metainferential logics
Published on 3 Dec 2025
by A. Bavosa Castro A. Borzi B. Da Ré A. J. Roffé J. S. Toranzo Calderón a Instituto de Investigaciones Filosóficas, Sociedad Argentina de Análisis Filosófico, Consejo Nacional de Investigaciones Científicas y Técnicas, Buenos Aires, Argentinab Facultad de Filosofía y Letras, Universidad de Buenos Aires, Buenos Aires, Argentinac Centro de Filosofía e Historia de la Ciencia, Universidad Nacional de Quilmes, Bernal, Argentinad Facultad Regional de Buenos Aires, Universidad Tecnológica Nacional, Buenos Aires, Argentina
Fully evaluated left-sequential logics
Published on 19 Oct 2025
by Alban Ponse Daan J. C. Staudt Informatics Institute, University of Amsterdam, Amsterdam, The Netherlands
A logic for reasoning about (negative) trust under uncertainty
Published on 30 Sep 2025
by Francesca Doneda Francesco A. Genco Giuseppe Primiero a LUCI Lab, Department of Philosophy, University of Milan, Milan, Italyb LLC, Department of Philosophy and Education Sciences, University of Turin, Turin, Italy