نتائج البحث

Semantics and Completeness for Schematic Logic

• Authors : Tatton-Brown, Oliver William

Subjects: logic; nominalist; schematic logic03

• Source: Logic and Logical Philosophy; Vol. 30 No. 2 (2021): June; 227-280 ; Logic and Logical Philosophy; Tom 30 Nr 2 (2021): Czerwiec; 227-280 ; 2300-9802 ; 1425-3305

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

Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality

• Authors : Kamide, Norihiro

Subjects: bi-classical connexive logic; sequent calculus; cut-elimination

• Source: Logic and Logical Philosophy; Vol. 28 No. 3 (2019): September; 481-511 ; Logic and Logical Philosophy; Tom 28 Nr 3 (2019): wrzesień; 481-511 ; 2300-9802 ; 1425-3305

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

Publication of Prussian Diplomatic Materials in the Sbornik Imperatorskogo Russkogo Istoricheskogo Obshchestva as a Tool of the Politics of History of the Russian Empire: Remarks on the Completeness of the Edition

• Authors : Dukwicz, Dorota

Subjects: SIRIO; Sbornik RIO; Imperial Russian Historical Society

• Source: Kwartalnik Historyczny; Tom 127 Nr 4 (2020): English-Language Edition; 47-76 ; 2451-1315 ; 0023-5903

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

If You’re Happy, Then You Know It: The Logic of Happiness . . . and Sadness

• Authors : Azimipour , Sanaz; Naumov, Pavel

Subjects: epistemic logic; preferences; completeness

• Source: Logic and Logical Philosophy; Online First Articles; 1-60 ; Logic and Logical Philosophy; Prace online; 1-60 ; 2300-9802 ; 1425-3305

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

A simple Henkin-style completeness proof for Gödel 3-valued logic G3

• Authors : Robles, Gemma

Subjects: many-valued logic; Gödel 3-valued logic; bivalent under-determined and over-determined semantics

• Source: Logic and Logical Philosophy; Vol. 23 No. 4 (2014): December; 371-390 ; Logic and Logical Philosophy; Tom 23 Nr 4 (2014): December; 371-390 ; 2300-9802 ; 1425-3305

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

A completeness proof in full DDL

• Authors : Segerberg, Krister

• Source: Logic and Logical Philosophy; No. 9 (2001); 77-90 ; Logic and Logical Philosophy; Nr 9 (2001); 77-90 ; 2300-9802 ; 1425-3305

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

Completeness of Minimal Positional Calculus

• Authors : Jarmużek, Tomasz; Pietruszczak, Andrzej

Subjects: Minimal Positional Calculus; Jerzy Łoś

• Source: Logic and Logical Philosophy; No. 13 (2004); 147-162 ; Logic and Logical Philosophy; Nr 13 (2004); 147-162 ; 2300-9802 ; 1425-3305

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

Modal multilattice logics with Tarski, Kuratowski, and Halmos operators

• Authors : Grigoriev, Oleg; Petrukhin, Yaroslav

Subjects: multilattice logic; modal logic; sequent calculus

• Source: Logic and Logical Philosophy; Vol. 30 No. 3 (2021): September; 385-415 ; Logic and Logical Philosophy; Tom 30 Nr 3 (2021): wrzesień; 385-415 ; 2300-9802 ; 1425-3305

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

Partial and paraconsistent three-valued logics

• Authors : Degauquier, Vincent

Subjects: four-valued logic; three-valued logic; partial logic

• Source: Logic and Logical Philosophy; Vol. 25 No. 2 (2016): June; 143-171 ; Logic and Logical Philosophy; Tom 25 Nr 2 (2016): czerwiec; 143-171 ; 2300-9802 ; 1425-3305

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

On Definability of Connectives and Modal Logics over FDE

• Authors : Odintsov, Sergei P.; Skurt, Daniel; Wansing, Heinrich

Subjects: definability of connectives; first-degree entailment logic; modal logic

• Source: Logic and Logical Philosophy; Vol. 28 No. 4 (2019): December; 631-659 ; Logic and Logical Philosophy; Tom 28 Nr 4 (2019): grudzień; 631-659 ; 2300-9802 ; 1425-3305

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