THE PROBLEM OF QUANTIFICATIONAL COMPLETENESS AND THE CHARACTERIZATION OF ALL PERFECT QUANTIFIERS IN 3-VALUED LOGICS

被引：0

作者：

CARNIELLI, WA ^{[1
]}

机构：

[1] UNIV CALIF BERKELEY,DEPT MATH,BERKELEY,CA 94720

来源：

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1987年 / 33卷 / 01期

关键词：

D O I：

10.1002/malq.19870330104

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：19 / 29

页数：11

共 37 条

[31] Reduced Routley-Meyer semantics for the logics characterized by natural implicative expansions of Kleene's strong 3-valued matrix
Robles, Gemma
LOGIC JOURNAL OF THE IGPL, 2019, 27 (01) : 69 - 92
[32] TMPR - A TREE-STRUCTURED MODIFIED PROBLEM REDUCTION PROOF PROCEDURE AND ITS EXTENSION TO 3-VALUED LOGIC
MELLOULI, T
JOURNAL OF AUTOMATED REASONING, 1994, 12 (01) : 47 - 87
[33] The Class of All Natural Implicative Expansions of Kleene’s Strong Logic Functionally Equivalent to Łkasiewicz’s 3-Valued Logic Ł3
Gemma Robles
José M. Méndez
Journal of Logic, Language and Information, 2020, 29 : 349 - 374
[34] SELECTING THE CLASS OF ALL 3-VALUED IMPLICATIVE EXPANSIONS OF KLEENE'S STRONG LOGIC CONTAINING ROUTLEY AND MEYER'S LOGIC B
Robles, Gemma
Lopez, Sandra M.
LOGIQUE ET ANALYSE, 2020, (252) : 443 - 464
[35] The Class of All Natural Implicative Expansions of Kleene's Strong Logic Functionally Equivalent to Lkasiewicz's 3-Valued Logic L3
Robles, Gemma
Mendez, Jose M.
JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2020, 29 (03) : 349 - 374
[36] THE CLASS OF ALL 3-VALUED IMPLICATIVE EXPANSIONS OF KLEENE'S STRONG LOGIC CONTAINING ANDERSON AND BELNAP'S FIRST DEGREE ENTAILMENT LOGIC
Robles, Gemma
JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2021, 8 (07): : 2035 - 2071
[37] The class of all 3-valued implicative expansions of kleene’s strong logic containing anderson and belnap’s first degree entailment logic
Robles, Gemma
Journal of Applied Logics, 2021, 8 (07): : 2035 - 2071

← 1 2 3 4 →