نتائج البحث

Gautama and Almost Gautama Algebras and their associated logics.

• Authors : Cornejo, Juan M.¹ ; Sankappanavar, Hanamantagouda P.²

Subjects: *MATHEMATICAL logic; *NEGATION (Logic); *BOOLEAN algebra

• Source: Transactions on Fuzzy Sets & Systems. Fall/Winter2023, Vol. 2 Issue 2, p77-112. 36p.

تفاصيل العنوان

A Class of Implicative Expansions of Belnap-Dunn Logic in which Boolean Negation is Definable.

• Authors : Robles, Gemma¹ (AUTHOR) ; Méndez, José M.² (AUTHOR)

• Source: Journal of Philosophical Logic. Jun2023, Vol. 52 Issue 3, p915-938. 24p.

تفاصيل العنوان

DEFINITE FORMULAE, NEGATION-AS-FAILURE, AND THE BASE-EXTENSION SEMANTICS OF INTUITIONISTIC PROPOSITIONAL LOGIC.

• Authors : Gheorghiu, Alexander V.¹ ; Pym, David J.^1,2,3

• Source: Bulletin of the Section of Logic. Jun2023, Vol. 52 Issue 2, p239-266. 28p.

تفاصيل العنوان

ÖNERMENİN UNSURLARINA DAİR ÜSKÜDÂRÎ’NİN YAKLAŞIMI.

• Authors : ECE, Muhammet Nasih¹

• Source: Bilimname. 2022, Vol. 47 Issue 1, p243-263. 21p.

تفاصيل العنوان

Stabilizing Quantum Disjunction.

• Authors : Tranchini, Luca¹

• Source: Journal of Philosophical Logic. Dec2018, Vol. 47 Issue 6, p1029-1047. 19p.

تفاصيل العنوان

Bilateral Connexive Logic.

• Authors : Francez, Nissim

Subjects: ARBITRARY constants; NEGATION (Logic); AXIOMS

• Source: Logics; Sep2023, Vol. 1 Issue 3, p157-162, 6p

تفاصيل العنوان

Distinguishing standard SBL-algebras with involutive negations by propositional formulas.

• Authors : Haniková, Zuzana¹ ; Savický, Petr¹

• Source: Mathematical Logic Quarterly. Nov2008, Vol. 54 Issue 6, p579-596. 18p.

تفاصيل العنوان

Eaton on the Problem of Negation.

• Authors : Moreno, Jonathan D.

• Source: Transactions of the Charles S. Peirce Society. Winter1980, Vol. 16 Issue 1, p59. 14p.

تفاصيل العنوان

A Generalization of Falsity in Finitely-many Valued Logics.

• Authors : Francez, Nissim; Avron, Arnon; Dershowitz, Nachum

Subjects: GENERALIZATION; LOGIC; PREDICATE (Logic)

• Source: Fundamenta Informaticae; 2022, Vol. 186 Issue 1-4, p121-132, 12p

تفاصيل العنوان

Rosenkranz's Logic of Justification and Unprovability.

• Authors : Heylen, Jan

Subjects: LOGIC; ARITHMETIC; AXIOMS

• Source: Journal of Philosophical Logic; 2020, Vol. 49 Issue 6, p1243-1256, 14p

تفاصيل العنوان