The Complete Axiomatisation of any Many‐Valued Propositional Logic

Mathematical Logic Quarterly 22 (1):299-306 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19760220140

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,440

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

A note on the completeness of Kozen's axiomatisation of the propositional μ-calculus.Igor Walukiewicz - 1996 - Bulletin of Symbolic Logic 2 (3):349-366.
An Axiomatisation of the Conditionals of Post's Many Valued Logics.Stan J. Surma - 1995 - Mathematical Logic Quarterly 41 (3):369-372.
Algorithmic logic. Multiple-valued extensions.Helena Rasiowa - 1979 - Studia Logica 38 (4):317 - 335.
Absolute probability functions for intuitionistic propositional logic.Peter Roeper & Hugues Leblanc - 1999 - Journal of Philosophical Logic 28 (3):223-234.
A complete many-valued logic with product-conjunction.Petr Hájek, Lluis Godo & Francesc Esteva - 1996 - Archive for Mathematical Logic 35 (3):191-208.
Three-valued logics in modal logic.Barteld Kooi & Allard Tamminga - 2013 - Studia Logica 101 (5):1061-1072.
A Hilbert-Style Axiomatisation for Equational Hybrid Logic.Luís S. Barbosa, Manuel A. Martins & Marta Carreteiro - 2014 - Journal of Logic, Language and Information 23 (1):31-52.
On Finite-Valued Propositional Logical Calculi.O. Anshakov & S. Rychkov - 1995 - Notre Dame Journal of Formal Logic 36 (4):606-629.
A Strongly Complete Formalisation of a 5‐Valued Propositional Calculus.Alan Rose† - 1987 - Mathematical Logic Quarterly 33 (3):243-244.
Ideal Paraconsistent Logics.O. Arieli, A. Avron & A. Zamansky - 2011 - Studia Logica 99 (1-3):31-60.
Product Ł ukasiewicz Logic.Rostislav Horčík & Petr Cintula - 2004 - Archive for Mathematical Logic 43 (4):477-503.
Axiomatising first-order temporal logic: Until and since over linear time.Mark Reynolds - 1996 - Studia Logica 57 (2-3):279 - 302.
On an Algebra of Lattice-Valued Logic.Lars Hansen - 2005 - Journal of Symbolic Logic 70 (1):282 - 318.

Analytics

Added to PP
2013-11-24

Downloads
17 (#852,234)

6 months
4 (#793,623)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references