Search

Search Results

• On some extensions of the class of MV-algebras

  Krystyna Mruczek-Nasieniewska

  35-49

  2015-05-04
• The Logical Burdens of Proof. Assertion and Hypothesis

  Daniele Chiffi, Fabien Schang

  509-530

  2017-04-14
• Externally compatible Abelian groups of the type (2,1,0)

  Krystyna Mruczek-Nasieniewska

  239-250

  2007-03-15
• P-compatible Abelian groups

  Krystyna Mruczek-Nasieniewska

  253-263

  2005-12-23
• Logical Forms: Validity and Variety of Formalizations

  Georg Brun

  341-361

  2023-07-20
• Simple cut elimination proof for hybrid logic

  Andrzej Indrzejczak

  129-141

  2016-04-04
• Is p and ¬p a Contradiction?

  Jean-Yves Beziau

  1-14

  2025-03-11
• Uniform Cut-Free Bisequent Calculi for Three-Valued Logics

  Andrzej Indrzejczak, Yaroslav Petrukhin

  463-506

  2024-07-26
• Modal Hybrid Logic

  Andrzej Indrzejczak

  147-257

  2007-08-25
• Normal Proofs and Tableaux for the Font-Rius Tetravalent Modal Logic

  Marcelo E. Coniglio, Martin Figallo

  171-203

  2024-01-26
• Formulas of one propositional variable in intuitionistic logic with the Solovay modality

  Leo Esakia, Revaz Grigolia

  111-127

  2008-06-19