Robles, Gemma (2003) Intutionistic Propositional Logic with the Converse Ackerman Poperty. Teorema, XXII (1-2). pp. 46-54.
![[thumbnail of Robles-Mendez.pdf]](http://sammelpunkt.philo.at/style/images/fileicons/application_pdf.png)
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: | Wolfgang Heuer |
| Date Deposited: | 06 Dec 2020 13:45 |
| Last Modified: | 06 Dec 2020 13:45 |
| URI: | http://sammelpunkt.philo.at/id/eprint/2674 |
Actions (login required)
- View Item