Compatible Functions in Algebras Associated to Extensions of Positive Logic

, &
Logic Journal of the IGPL 15 (1):109-119 (2007)
  Copy   BIBTEX

Abstract

In [4], Caicedo and Cignoli study compatible functions on Heyting algebras and the corresponding logical properties of connectives defined on intuitionistic propositional calculus. In this paper we study some aspects of compatible functions on the algebras associated to positive propositional calculus and successive extensions of it: intuitionistic calculus itself, the modal symmetric propositional calculus of Moisil and n-valued Łukasiewicz propositional calculus

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzl037

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,261

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

An algebraic approach to intuitionistic connectives.Xavier Caicedo & Roberto Cignoli - 2001 - Journal of Symbolic Logic 66 (4):1620-1636.
Proper n-valued łukasiewicz algebras as s-algebras of łukasiewicz n-valued prepositional calculi.Roberto Cignoli - 1982 - Studia Logica 41 (1):3 - 16.
On some Classes of Heyting Algebras with Successor that have the Amalgamation Property.José L. Castiglioni & Hernán J. San Martín - 2012 - Studia Logica 100 (6):1255-1269.
Universal Classes of MV-Chains with Applications to Many-valued Logics.Joan Gispert - 2002 - Mathematical Logic Quarterly 48 (4):582-601.
On Löb algebras.Majid Alizadeh & Mohammad Ardeshir - 2006 - Mathematical Logic Quarterly 52 (1):95-105.
On Generalized I-algebras And 4-valued Modal Algebras.Aldo Figallo & Paolo Landini - 1995 - Reports on Mathematical Logic:3-18.
Description of all functions definable by formulæ of the 2nd order intuitionistic propositional calculus on some linear Heyting algebras.Dimitri Pataraia - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):457-483.
On a four-valued modal logic with deductive implication.Marcelo E. Coniglio & Martín Figallo - 2014 - Bulletin of the Section of Logic 43 (1/2):1-18.
Sets, classes and the propositional calculus.E. Lopez-Escobar - 2005 - Manuscrito 28 (2):417-448.
Modalities as interactions between the classical and the intuitionistic logics.Michał Walicki - 2006 - Logic and Logical Philosophy 15 (3):193-215.
Amalgamation property for the class of basic algebras and some of its natural subclasses.Majid Alizadeh & Mohammad Ardeshir - 2006 - Archive for Mathematical Logic 45 (8):913-930.
Completeness theorems via the double dual functor.Adriana Galli, Marta Sagastume & Gonzalo E. Reyes - 2000 - Studia Logica 64 (1):61-81.
On Löb algebras, II.Majid Alizadeh & Mohammad Ardeshir - 2012 - Logic Journal of the IGPL 20 (1):27-44.
Full Models for Positive Modal Logic.Ramon Jansana - 2002 - Mathematical Logic Quarterly 48 (3):427-445.
Bounded commutative b-c-k logic and Lukasiewicz logic.Marta Sagastume - 2005 - Manuscrito 28 (2):575-583.

Analytics

Added to PP
2015-02-04

Downloads
7 (#1,392,075)

6 months
6 (#530,265)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references