On centers and state spaces of logics
Pták, Pavel
Similarity:
Displaying similar documents to “Subalgebras and sublogics of -logics”
On centers and state spaces of logics
A generalization of the Loomis-Sikorski theorem
T. Traczyk (1964)
Colloquium Mathematicae
Similarity:
On non-tabular -pre-complete classes of formulas in the propositional provability logic.
Izbaş, Olga, Rusu, Andrei (2006)
Analele Ştiinţifice ale Universităţii “Ovidius" Constanţa. Seria: Matematică
Similarity:
The conjunction of a particular form of majority logic functions and some of its properties
R. Kulesza (1970)
Applicationes Mathematicae
Similarity:
Logics that are both paraconsistent and paracomplete
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).
Aleksandar Kron in Relevance Logic
Slobodan Vujošević (2012)
Review of the National Center for Digitization
Similarity:
Logic and the foundations of mathematics in Lvov (1900-1939)
Jan Woleński (2009)
Banach Center Publications
Similarity:
Grzegorczyk’s Logics. Part I
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...