Sequents in many valued logic II
G. Rousseau (1970)
Fundamenta Mathematicae
Similarity:
G. Rousseau (1970)
Fundamenta Mathematicae
Similarity:
Gemma Robles, Sandra M. López, José M. Blanco, Marcos M. Recio, Jesús R. Paradela (2016)
Bulletin of the Section of Logic
Similarity:
The logic BN4 can be considered as the 4-valued logic of the relevant conditional and the logic E4, as the 4-valued logic of (relevant) entailment. The aim of this paper is to endow E4 with a 2-set-up Routley-Meyer semantics. It is proved that E4 is strongly sound and complete w.r.t. this semantics.
Vincent Degauquier (2018)
Bulletin of the Section of Logic
Similarity:
The temporal logic KtT4 is the modal logic obtained from the minimal temporal logic Kt by requiring the accessibility relation to be reflexive (which corresponds to the axiom T) and transitive (which corresponds to the axiom 4). This article aims, firstly, at providing both a model-theoretic and a proof-theoretic characterisation of a four-valued extension of the temporal logic KtT4 and, secondly, at identifying some of the most useful properties of this extension in the context of partial...
Reiner Hähnle, Gonzalo Escalada-Imaz (1997)
Mathware and Soft Computing
Similarity:
Mitio Takano (2016)
Bulletin of the Section of Logic
Similarity:
A sequential axiomatization is given for the 16-valued logic that has been proposed by Shramko-Wansing (J Philos Logic 34:121–153, 2005) as a candidate for the basic logic of logical bilattices.
Leon Henkin (1964)
Fundamenta Mathematicae
Similarity:
Taneli Huuskonen (2015)
Formalized Mathematics
Similarity:
This article is the second in a series formalizing some results in my joint work with Prof. Joanna Golinska-Pilarek ([9] and [10]) concerning a logic proposed by Prof. Andrzej Grzegorczyk ([11]). This part presents the syntax and axioms of Grzegorczyk’s Logic of Descriptions (LD) as originally proposed by him, as well as some theorems not depending on any semantic constructions. There are both some clear similarities and fundamental differences between LD and the non-Fregean logics introduced...
T. Traczyk (1964)
Colloquium Mathematicae
Similarity:
Slobodan Vujošević (2012)
Review of the National Center for Digitization
Similarity:
R. Kulesza (1970)
Applicationes Mathematicae
Similarity:
Jan Woleński (2009)
Banach Center Publications
Similarity:
M. S. Popadić (1965)
Matematički Vesnik
Similarity:
M. S. Popadić (1959)
Matematički Vesnik
Similarity:
Newton C.A. da Costa (1989)
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni
Similarity:
The Author describes new systems of logic (called "nonalethic") which are both paraconsistent and paracomplete. These systems are connected with the logic of vagueness and with certain philosophical problems (e.g. with some aspects of Hegel's logic).