Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
[کتاب][B] Substructural logics: a primer
F Paoli - 2013 - books.google.com
Substructural logics are by now one of the most prominent branches of the research field
usually labelled as" nonclassical logics"-and perhaps of logic tout court. Over the last few …
usually labelled as" nonclassical logics"-and perhaps of logic tout court. Over the last few …
[کتاب][B] Hybrid logic and its proof-theory
T Braüner - 2010 - books.google.com
This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an
extension of ordinary modal logic which allows explicit reference to individual points in a …
extension of ordinary modal logic which allows explicit reference to individual points in a …
[کتاب][B] Gentzen calculi for modal propositional logic
F Poggiolesi - 2010 - books.google.com
The book is about Gentzen calculi for (the main systems of) modal logic. It is divided into
three parts. In the first part we introduce and discuss the main philosophical ideas related to …
three parts. In the first part we introduce and discuss the main philosophical ideas related to …
[PDF][PDF] Completeness in proof-theoretic semantics
T Piecha - Advances in proof-theoretic semantics, 2016 - library.oapen.org
We give an overview of completeness and incompleteness results within proof-theoretic
semantics. Completeness of intuitionistic first-order logic for certain notions of validity in …
semantics. Completeness of intuitionistic first-order logic for certain notions of validity in …
[HTML][HTML] Proof-theoretic semantics
P Schroeder-Heister - 2012 - seop.illc.uva.nl
Proof-theoretic semantics is an alternative to truth-condition semantics. It is based on the
fundamental assumption that the central notion in terms of which meanings are assigned to …
fundamental assumption that the central notion in terms of which meanings are assigned to …
[PDF][PDF] Open Problems in Proof-Theoretic Semantics.
P Schroeder-Heister - Advances in proof-theoretic semantics, 2016 - library.oapen.org
I present three open problems the discussion and solution of which I consider relevant for
the further development of proof-theoretic semantics:(1) The nature of hypotheses and the …
the further development of proof-theoretic semantics:(1) The nature of hypotheses and the …
Proof-theoretic semantics for intuitionistic multiplicative linear logic
AV Gheorghiu, T Gu, DJ Pym - Studia Logica, 2024 - Springer
Proof-theoretic semantics (P-tS) is an innovative approach to grounding logical meaning in
terms of proofs rather than traditional truth-conditional semantics. The point is not that one …
terms of proofs rather than traditional truth-conditional semantics. The point is not that one …
From proof-theoretic validity to base-extension semantics for intuitionistic propositional logic
AV Gheorghiu, DJ Pym - Studia Logica, 2025 - Springer
Proof-theoretic semantics (P-tS) is the approach to meaning in logic based on proof (as
opposed to truth). There are two major approaches to P-tS: proof-theoretic validity (P-tV) and …
opposed to truth). There are two major approaches to P-tS: proof-theoretic validity (P-tV) and …
[کتاب][B] Advances in proof-theoretic semantics
T Piecha, P Schroeder-Heister - 2016 - library.oapen.org
The book series Trends in Logic covers essentially the same areas as the journal Studia
Logica, that is, contemporary formal logic and its applications and relations to other …
Logica, that is, contemporary formal logic and its applications and relations to other …
Quine and Slater on paraconsistency and deviance
F Paoli - Journal of Philosophical Logic, 2003 - Springer
In a famous and controversial paper, BH Slater has argued against the possibility of
paraconsistent logics. Our reply is centred on the distinction between two aspects of the …
paraconsistent logics. Our reply is centred on the distinction between two aspects of the …