Intutionistic Propositional Logic with the Converse Ackerman Poperty

Robles, Gemma (2003) Intutionistic Propositional Logic with the Converse Ackerman Poperty. Teorema, XXII (1-2). pp. 46-54.

[img]
Preview
PDF
Robles-Mendez.pdf

Download (324kB)

Abstract

The range of propositional logics with the 'converse Ackermann property' is proved to be wider than currently assumed. Subintuitionistic, positive intuitionistic and intuitionistic propositional logics with the 'converse Ackermann property' are defined and axiomatized. A particular version of intuitionistic negation is involved in some of these systems. Complete ternary relational semantics are offered for all logics studied in the paper.

Item Type: Article
Uncontrolled Keywords: Intuition; Logic; Propositional-Logic; Semantics
Subjects: Philosophie > Philosophische Disziplinen > Logik, analytische Philosophie
Depositing User: Stefan Köstenbauer
Date Deposited: 08 Nov 2005
Last Modified: 08 Sep 2011 18:51
URI: http://sammelpunkt.philo.at/id/eprint/1124

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year