A General View on Normal Form Theorems for Łukasiewicz Logic with Product

&
In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 215-228 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1515/9781501502620-013

Links

PhilArchive



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

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

Normal forms for fuzzy logics: a proof-theoretic approach. [REVIEW]Petr Cintula & George Metcalfe - 2007 - Archive for Mathematical Logic 46 (5-6):347-363.
Some (non)tautologies of łukasiewicz and product logic.Petr Hájek - 2010 - Review of Symbolic Logic 3 (2):273-278.
Non-commutative Łukasiewicz propositional logic.Ioana Leuştean - 2006 - Archive for Mathematical Logic 45 (2):191-213.
On Axiomatization of Łukasiewicz's Four-Valued Modal Logic.Marcin Tkaczyk - 2011 - Logic and Logical Philosophy 20 (3):215-232.
On witnessed models in fuzzy logic II.Petr Hájek - 2007 - Mathematical Logic Quarterly 53 (6):610-615.
On normal forms in Łukasiewicz logic.A. Di Nola & A. Lettieri - 2004 - Archive for Mathematical Logic 43 (6):795-823.
Finite and Rational Tree Constraints.Torbjorn Keisu - 1994 - Logic Journal of the IGPL 2 (2):167-204.
Paranormal modal logic – Part II: K?, K and Classical Logic and other paranormal modal systems.R. Silvestre - 2013 - Logic and Logical Philosophy 22 (1):89-130.
Paranormal modal logic–Part I: The system K? and the foundations of the Logic of skeptical and credulous plausibility.Ricardo S. Silvestre - 2012 - Logic and Logical Philosophy 21 (1):65-96.
Representation and extension of states on MV-algebras.TomአKroupa - 2006 - Archive for Mathematical Logic 45 (4):381-392.
Bourne on future contingents and three-valued logic.Daisuke Kachi - 2009 - Logic and Logical Philosophy 18 (1):33-43.
Algebraic proofs of cut elimination.Jeremy Avigad - manuscript
Algebraically complete semirings and Greibach normal form.Zoltán Ésik & Hans Leiß - 2005 - Annals of Pure and Applied Logic 133 (1-3):173-203.
Was Łukasiewicz Wrong? : Three-valued Logic and Determinism.Daisuke Kachi - 1996 - In Łukasiewicz in Dublin -- An International Conference on the Work of Jan Łukasiewicz.
Normal form of derivations in the nonassociative and commutative lambek calculus with product.Maciej Kandulski - 1993 - Mathematical Logic Quarterly 39 (1):103-114.

Analytics

Added to PP
2016-07-30

Downloads
17 (#843,162)

6 months
6 (#522,885)

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