Source: Kürbis, N 2016, ' Some Comments on Ian Rumfitt's Bilateralism ', JOURNAL OF PHILOSOPHICAL LOGIC, vol. 45, no. 6, pp. 623-644 . https://doi.org/10.1007/s10992-016-9395-9

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Restall’s Proof-Theoretic Pluralism and Relevance Logic

Authors : Teresa Kouri

Subjects: Logic; Structural rule; Logical pluralism

Source: Erkenntnis. 81:1243-1252

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Substructural epistemic logics

Authors : Igor Sedlár

Subjects: Philosophy; TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES; Epistemic modal logic

Source: Journal of Applied Non-Classical Logics. 25:256-285

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Current Trends in Substructural Logics

Authors : Katalin Bimbó

Subjects: Discrete mathematics; Structural rule; Substructural logic

Source: Journal of Philosophical Logic. 44:609-624

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS

Authors : Majid Alizadeh; Farzaneh Derakhshan; Hiroakira Ono

Subjects: Predicate logic; Logic; Structural rule

Source: The Review of Symbolic Logic. 7:455-483

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Graphs of plural cuts

Authors : Kosta Doen; Zoran Petri

Subjects: Discrete mathematics; Natural deduction; Permutation (music)

Source: Theoretical Computer Science. 484:41-55

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Semantics and proof-theory of depth bounded Boolean logics

Authors : Marcelo Finger; Dov M. Gabbay; Marcello D'Agostino

Subjects: Computer science [C05] [Engineering, computing & technology]; Discrete mathematics; Boolean Logic

Source: Repositório Institucional da USP (Biblioteca Digital da Produção Intelectual)Universidade de São Paulo (USP)instacron:USPTheor. Comput. Sci, 480, 43--68. (2013).

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Logical Consequence and the Paradoxes

Authors : Francesco Paoli; Edwin D. Mares

Subjects: Philosophy; Meaning (philosophy of language); Structural rule

Source: Journal of Philosophical Logic. 43:439-469

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Polynomial space hardness without disjunction property

Authors : Simone Bova; Franco Montagna

Subjects: Discrete mathematics; TheoryofComputation_COMPUTATIONBYABSTRACTDEVICES; General Computer Science

Source: Theoretical Computer Science. 467:1-11

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي