Szukaj

Wyniki wyszukiwania

• On some extensions of the class of MV-algebras

  Krystyna Mruczek-Nasieniewska

  35-49

  04.05.2015
• The Logical Burdens of Proof. Assertion and Hypothesis

  Daniele Chiffi, Fabien Schang

  509-530

  14.04.2017
• Externally compatible Abelian groups of the type (2,1,0)

  Krystyna Mruczek-Nasieniewska

  239-250

  15.03.2007
• P-compatible Abelian groups

  Krystyna Mruczek-Nasieniewska

  253-263

  23.12.2005
• Logical Forms: Validity and Variety of Formalizations

  Georg Brun

  341-361

  20.07.2023
• Simple cut elimination proof for hybrid logic

  Andrzej Indrzejczak

  129-141

  04.04.2016
• Is p and ¬p a contradiction?

  Jean-Yves Beziau

  547-560

  11.03.2025
• Formulas of one propositional variable in intuitionistic logic with the Solovay modality

  Leo Esakia, Revaz Grigolia

  111-127

  19.06.2008
• Uniform Cut-Free Bisequent Calculi for Three-Valued Logics

  Andrzej Indrzejczak, Yaroslav Petrukhin

  463-506

  26.07.2024
• Normal Proofs and Tableaux for the Font-Rius Tetravalent Modal Logic

  Marcelo E. Coniglio, Martin Figallo

  171-203

  26.01.2024
• Modal Hybrid Logic

  Andrzej Indrzejczak

  147-257

  25.08.2007