Search

Search Results

• Tarski’s t-scheme as an alleged basis of Montague semantics

  Anna Pietryga

  369-379

  2007-03-15
• The contribution of A.V. Kuznetsov to the theory of modal systems and structures

  Alexei Y. Muravitsky

  41-58

  2008-06-19
• Connecting bilattice theory with multivalued logic

  Daniele Genito, Giangiacomo Gerla

  15-45

  2013-10-09
• Axiomatization of BLRI Determined by Limited Positive Relational Properties

  Tomasz Jarmużek, Mateusz Klonowski

  1-29

  2022-01-30
• Logic may be simple. Logic, congruence and algebra

  Jean-Yves Béziau

  129-147

  2003-10-27
• Extended full computation-tree logics for paraconsistent model checking

  Norihiro Kamide

  251-276

  2007-03-15
• On the interaction of semantics and deduction in Transparent Intensional Logic (Is Tichý's logic a logic?)

  Jiří Raclavský

  57–68

  2013-10-05
• Dynamic relational mereotopology: Logics for stable and unstable relations

  Vladislav Nenchev

  295–325

  2013-06-11
• On the da Costa, Dubikajtis and Kotas’ system of the discursive logic, D*2

  Janusz Ciuciura

  235-252

  2005-12-23
• On axiomatization of Łukasiewicz's four-valued modal logic

  Marcin Tkaczyk

  215-232

  2011-11-30