BCKX is the axiomatization of the implicational fragment of Łukasiewicz's infinite-valued logic Łω

&
Bulletin of the Section of Logic 26:112-117 (1997)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

Finiteness in infinite-valued łukasiewicz logic.Stefano Aguzzoli & Agata Ciabattoni - 2000 - Journal of Logic, Language and Information 9 (1):5-29.
Consequence and Interpolation in Łukasiewicz Logic.Daniele Mundici - 2011 - Studia Logica 99 (1-3):269-278.
Unification of Two Approaches to Quantum Logic: Every Birkhoff -von Neumann Quantum Logic is a Partial Infinite-Valued Łukasiewicz Logic.Jarosław Pykacz - 2010 - Studia Logica 95 (1-2):5 - 20.
On Axiomatization of Łukasiewicz's Four-Valued Modal Logic.Marcin Tkaczyk - 2011 - Logic and Logical Philosophy 20 (3):215-232.
A proof of axiomatizability of łukasiewicz’s three-valued implicational propositional calculus.T. Prucnal - 1967 - Studia Logica 20 (1):144-144.
Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for Łukasiewicz's 3-valued Logic Ł3.Gemma Robles, Francisco Salto & José M. Méndez - 2013 - Journal of Philosophical Logic (2-3):1-30.
A Routley-Meyer semantics for truth-preserving and well-determined Lukasiewicz 3-valued logics.G. Robles & J. M. Mendez - 2014 - Logic Journal of the IGPL 22 (1):1-23.
Bourne on future contingents and three-valued logic.Daisuke Kachi - 2009 - Logic and Logical Philosophy 18 (1):33-43.
The classification of propositional calculi.Alexander S. Karpenko - 2000 - Studia Logica 66 (2):253-271.
Privations, Negations and the Square: Basic Elements of a Logic of Privations.Stamatios Gerogiorgakis - 2012 - In Jean-Yves Beziau & Dale Jacquette (eds.), Around and beyond the Square of Opposition. Birkhäuser-Springer. pp. 229--239.
Proper n-valued łukasiewicz algebras as s-algebras of łukasiewicz n-valued prepositional calculi.Roberto Cignoli - 1982 - Studia Logica 41 (1):3 - 16.
Distinguishing non-standard natural numbers in a set theory within Łukasiewicz logic.Shunsuke Yatabe - 2007 - Archive for Mathematical Logic 46 (3-4):281-287.
From Games to Truth Functions: A Generalization of Giles’s Game.Christian G. Fermüller & Christoph Roschger - 2014 - Studia Logica 102 (2):389-410.
On łukasiewicz's four-valued modal logic.Josep Maria Font & Petr Hájek - 2002 - Studia Logica 70 (2):157-182.

Analytics

Added to PP
2014-01-20

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Vladimir Mikhailovic Popov
Moscow State University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references