Szukaj

Wyniki wyszukiwania

• Connexive Extensions of Regular Conditional Logic

  Yale Weiss

  611-627

  16.08.2018
• Modal multilattice logics with Tarski, Kuratowski, and Halmos operators

  Oleg Grigoriev, Yaroslav Petrukhin

  385-415

  20.02.2021
• The lattice of Belnapian modal logics: Special extensions and counterparts

  Sergei P. Odintsov, Stanislav O. Speranski

  3-33

  25.02.2016
• Hypersequent Calculi for S5: The Methods of Cut Elimination

  Kaja Bednarska, Andrzej Indrzejczak

  277–311

  25.08.2015
• Twist-Valued Models for Three-Valued Paraconsistent Set Theory

  Walter A. Carnielli, Marcelo E. Coniglio

  187-226

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

  Rodolfo Ertola Biraben

  265-267

  23.12.2005
• Logic may be simple. Logic, congruence and algebra

  Jean-Yves Béziau

  129-147

  27.10.2003
• Theorem proving with built-in hybrid theories

  Uwe Petermann

  77-107

  06.11.1998
• The contribution of A.V. Kuznetsov to the theory of modal systems and structures

  Alexei Y. Muravitsky

  41-58

  19.06.2008
• Simulation Logic

  Gerard Allwein, William L. Harrison, David Andrews

  277–299

  15.09.2013
• Abelian mereology

  A. J. Cotnoir

  429-447

  05.03.2015
• The algebraic face of minimality

  Frank Wolter

  225-240

  06.11.1998
• A lattice for the language of Aristotle’s syllogistic and a lattice for the language of Vasiľév’s syllogistic

  Andrew Schumann

  17-37

  26.03.2006
• Logics and operators

  Janusz Czelakowski

  87-100

  27.01.2003
• Some Remarks on the Logic of Probabilistic Relevance

  Davide Fazio, Raffaele Mascella

  101-144

  12.12.2023
• 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

  24.05.2022