J. BARKLEY ROSSER: Logic for mathematicians
TH. SKOLEM (1954)
Mathematica Scandinavica
Similarity:
TH. SKOLEM (1954)
Mathematica Scandinavica
Similarity:
Th. Skolem (1960)
Mathematica Scandinavica
Similarity:
M.R. Krom (1967)
Mathematica Scandinavica
Similarity:
C.C. Chang (1963)
Mathematica Scandinavica
Similarity:
Jens Erik Fenstad (1964)
Mathematica Scandinavica
Similarity:
K. JAAKKO HINTIKKA (1954)
Mathematica Scandinavica
Similarity:
Donald Monk (1970)
Mathematica Scandinavica
Similarity:
Th. Skolem (1958)
Mathematica Scandinavica
Similarity:
H.A. Pogorzelski (1964)
Mathematica Scandinavica
Similarity:
R. Kulesza (1970)
Applicationes Mathematicae
Similarity:
Jan Woleński (2009)
Banach Center Publications
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).
H. T. Goranson, Sirius-Beta (1999)
Visual Mathematics
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...