Search

Search Results

1. Proof Theory of Paraconsistent Weak Kleene Logic

   Paraconsistent Weak Kleene Logic (PWK) is the 3-valued propositional logic defined on the weak Kleene tables and with two designated values. Most of...

   Francesco Paoli, Michele Pra Baldi in Studia Logica

   Article 24 October 2019

2. Deontology of Compound Actions

   This paper, being a companion to the book [ 2 ] elaborates the deontology of sequential and compound actions based on relational models and formal...

   Janusz Czelakowski in Studia Logica

   Article Open access 29 October 2018

3. A Categorical Equivalence for Product Algebras

   Franco Montagna, Sara Ugolini in Studia Logica

   Article 30 July 2014

4. Extending Łukasiewicz Logics with a Modality: Algebraic Approach to Relational Semantics

   This paper presents an algebraic approach of some many-valued generalizations of modal logic. The starting point is the definition of the [0,...

   Georges Hansoul, Bruno Teheux in Studia Logica

   Article 15 July 2012

5. Hyperformulas and Solid Algebraic Systems

   Defining a composition operation on sets of formulas one obtains a many-sorted algebra which satisfies the superassociative law and one more...

   Klaus Denecke, Dara Phusanga in Studia Logica

   Article 31 October 2008

6. Maximal Subalgebras of MV_n-algebras. A Proof of a Conjecture of A. Monteiro

   For each integer n ≥ 2, MV _n denotes the variety of MV-algebras generated by the MV-chain with n elements. Algebras in MV _n are represented as...

   Roberto Cignoli, Luiz Monteiro in Studia Logica

   Article 19 December 2006

7. States on Pseudo MV-Algebras

   Pseudo MV-algebras are a non-commutative extension of MV-algebras introduced recently by Georgescu and Iorgulescu. We introduce states (finitely...

   Anatolij Dvurečenskij in Studia Logica

   Article 01 August 2001