Search

Search Results

• Connexive Extensions of Regular Conditional Logic

  Yale Weiss

  611-627

  2018-08-16
• Modal multilattice logics with Tarski, Kuratowski, and Halmos operators

  Oleg Grigoriev, Yaroslav Petrukhin

  385-415

  2021-02-20
• The lattice of Belnapian modal logics: Special extensions and counterparts

  Sergei P. Odintsov, Stanislav O. Speranski

  3-33

  2016-02-25
• Hypersequent Calculi for S5: The Methods of Cut Elimination

  Kaja Bednarska, Andrzej Indrzejczak

  277–311

  2015-08-25
• Twist-Valued Models for Three-Valued Paraconsistent Set Theory

  Walter A. Carnielli, Marcelo E. Coniglio

  187-226

  2021-05-04
• J. Michael Dunn and Gary M. Hardegree, "Algebraic Methods in Philosophical Logic", Oxford Logic Guides, no. 41

  Rodolfo Ertola Biraben

  265-267

  2005-12-23
• Logic may be simple. Logic, congruence and algebra

  Jean-Yves Béziau

  129-147

  2003-10-27
• Theorem proving with built-in hybrid theories

  Uwe Petermann

  77-107

  1998-11-06
• The contribution of A.V. Kuznetsov to the theory of modal systems and structures

  Alexei Y. Muravitsky

  41-58

  2008-06-19
• Simulation Logic

  Gerard Allwein, William L. Harrison, David Andrews

  277–299

  2013-09-15
• Abelian mereology

  A. J. Cotnoir

  429-447

  2015-03-05
• The algebraic face of minimality

  Frank Wolter

  225-240

  1998-11-06
• A lattice for the language of Aristotle’s syllogistic and a lattice for the language of Vasiľév’s syllogistic

  Andrew Schumann

  17-37

  2006-03-26
• Some Remarks on the Logic of Probabilistic Relevance

  Davide Fazio, Raffaele Mascella

  101-144

  2023-12-12
• Logics and operators

  Janusz Czelakowski

  87-100

  2003-01-27
• Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3

  Aldo Figallo Orellano, Miguel Pérez-Gaspar, Everardo Bárcenas

  141-158

  2022-05-24