- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Invariant Systems of Łukasiewicz Calculi
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (13-18):221-228 (1974)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Invariant Systems of Łukasiewicz Calculi.Marek Tokarz - 1974 - Mathematical Logic Quarterly 20 (13‐18):221-228.
Łukasiewicz Logic: From Proof Systems To Logic Programming.George Metcalfe, Nicola Olivetti & Dov Gabbay - 2005 - Logic Journal of the IGPL 13 (5):561-585.
Degrees of maximality of Łukasiewicz-like sentential calculi.Grzegorz Malinowski - 1977 - Studia Logica 36 (3):213 - 228.
On invariant systems and structural completeness of Lukasiewicz's logic.Marek Tokarz - 1972 - Bulletin of the Section of Logic 1 (1):63-68.
Completeness of Łukasiewicz-Tarski Propositional Calculi.Alan Rose - 1951 - Journal of Symbolic Logic 16 (3):228-229.
The deduction theorem for Łukasiewicz many-valued propositional calculi.Witold A. Pogorzelski - 1964 - Studia Logica 15 (1):7-19.
Dual counterparts of Łukasiewicz's sentential calculi.Grzegorz Malinowski & Maciej Spasowski - 1974 - Studia Logica 33 (2):153-162.
Analytic Calculi for Circular Concepts by Finite Revision.Riccardo Bruni - 2013 - Studia Logica 101 (5):915-932.
Analytic Calculi for Product Logics.George Metcalfe, Nicola Olivetti & Dov Gabbay - 2004 - Archive for Mathematical Logic 43 (7):859-889.
A note on indirect deduction theorems valid in łukasiewicz's finitely-valued propositional calculi.S. J. Surma - 1973 - Studia Logica 31 (1):142-142.
Labeled sequent calculi for modal logics and implicit contractions.Pierluigi Minari - 2013 - Archive for Mathematical Logic 52 (7-8):881-907.
Free Łukasiewicz implication algebras.José Patricio Díaz Varela - 2008 - Archive for Mathematical Logic 47 (1):25-33.
Transposition-invariant equations for the unified field theory.M. F. Tautz - 1975 - Foundations of Physics 5 (1):63-74.
Proper n-valued łukasiewicz algebras as s-algebras of łukasiewicz n-valued prepositional calculi.Roberto Cignoli - 1982 - Studia Logica 41 (1):3 - 16.
Sequent calculi for some trilattice logics.Norihiro Kamide & Heinrich Wansing - 2009 - Review of Symbolic Logic 2 (2):374-395.
Analytics
Added to PP
2016-02-04
Downloads
27 (#588,912)
6 months
4 (#787,709)
2016-02-04
Downloads
27 (#588,912)
6 months
4 (#787,709)
Historical graph of downloads
References found in this work
The problem of reconstructability of propositional calculi.Marek Tokarz & Ryszard Wójcicki - 1971 - Studia Logica 28 (1):119 - 129.
On structural completeness of Łukasiewicz's logics.Marek Tokarz - 1972 - Studia Logica 30 (1):53-58.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-64dd777598-pjbg5 uwo