Characterization of the reduced matrices for the {∧,∨}-fragment of classical logic

, &
Bulletin of the Section of Logic 20 (3/4):124-128 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 106,951

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

On the EA-fragment of classical propositional logic.Janis Cirulis - 1981 - Bulletin of the Section of Logic 10 (4):158-160.
Equivalential logics.Janusz Czelakowski - 1980 - Bulletin of the Section of Logic 9 (2):8-91.
Another proof of Wojtylak's theorem.Jacek Hawranek & Jan Zygmunt - 1981 - Bulletin of the Section of Logic 10 (2):80-81.
On cardinality of matrices strongly adequate for the intuitionistic propositional logic.Roman Suszko - 1974 - Bulletin of the Section of Logic 3 (1):34-38.
On cardinality of matrices strongly adequate for the intuitionistic propositional logic.Andrzej Wronski - 1974 - Bulletin of the Section of Logic 3 (1):34-40.
Axiomatizability of finite matrices.Wladyslaw Szczech - 1973 - Bulletin of the Section of Logic 2 (2):118-120.
A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics.Natalya Tomova - 2021 - Bulletin of the Section of Logic 50 (1):35-53.
Matrices For Predicate Logics.Jacek Hawranek & Marek Tokarz - 1977 - Bulletin of the Section of Logic 6 (1):27-30.
On matrices characteristic of relevant logics.Wies law Dziobiak - 1981 - Bulletin of the Section of Logic 10 (3):113-114.
Many-valued referential matrices.Grzegorz Malinowski - 1995 - Bulletin of the Section of Logic 24 (3):140-146.

Analytics

Added to PP
2014-01-22

Downloads
43 (#585,570)

6 months
4 (#1,023,632)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

A study of truth predicates in matrix semantics.Tommaso Moraschini - 2018 - Review of Symbolic Logic 11 (4):780-804.
The Suszko operator. Part I.Janusz Czelakowski - 2003 - Studia Logica 74 (1-2):181 - 231.
Bilattices with Implications.Félix Bou & Umberto Rivieccio - 2013 - Studia Logica 101 (4):651-675.

View all 10 citations / Add more citations

References found in this work

Add more references