Results 1 to 10 of about 2,755 (229)
Functional Interpretations of Intuitionistic Linear Logic [PDF]
Logical Methods in Computer Science, 2011 We present three different functional interpretations of intuitionistic linear logic ILL and show how these correspond to well-known functional interpretations of intuitionistic logic IL via embeddings of IL into ILL.
Gilda Ferreira, Paulo Oliva
doaj +2 more sources
The ILLTP Library for Intuitionistic Linear Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited.
Carlos Olarte +3 more
doaj +3 more sources
Admissible Tools in the Kitchen of Intuitionistic Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 The usual reading of logical implication "A implies B" as "if A then B" fails in intuitionistic logic: there are formulas A and B such that "A implies B" is not provable, even though B is provable whenever A is provable.
Andrea Condoluci, Matteo Manighetti
doaj +3 more sources
Gödel's modal interpretation of intuitionistic logic and its proof theory. [PDF]
Mon Hefte Mathvon Plato J.
europepmc +3 more sources
A Criticism of Kripke’s Semantic for Intuitionistic Logic
O Que Nos Faz Pensar, 2016 This note aims to examine critically Kripke’s semantics for propositional intuitionistic logic. Kripke’s semantic is extensionally correct with respect to propositional intuitionistic logic, that is, the calculus is sound and complete with respect to the
Wagner de Campos Sanz
doaj +1 more source
A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic [PDF]
Logical Methods in Computer Science, 2021 Open bisimilarity is defined for open process terms in which free variables may appear. The insight is, in order to characterise open bisimilarity, we move to the setting of intuitionistic modal logics. The intuitionistic modal logic introduced, called $\
Ki Yung Ahn, Ross Horne, Alwen Tiu
doaj +1 more source
On the prediction of Covid-19 time series: an intuitionistic fuzzy logic approach [PDF]
Journal of Fuzzy Extension and Applications, 2021 This paper presents a time series analysis of a novel coronavirus, COVID-19, discovered in China in December 2019 using intuitionistic fuzzy logic system with neural network learning capability. Fuzzy logic systems are known to be universal approximation
Imo Eyo, Jeremiah Eyoh, Uduak Umoh
doaj +1 more source
Modal meet-implication logic [PDF]
Logical Methods in Computer Science, 2022 We extend the meet-implication fragment of propositional intuitionistic logic with a meet-preserving modality. We give semantics based on semilattices and a duality result with a suitable notion of descriptive frame.
Jim de Groot, Dirk Pattinson
doaj +1 more source
INTUITIONISTIC EPISTEMIC LOGIC [PDF]
The Review of Symbolic Logic, 2016 AbstractWe outline an intuitionistic view of knowledge which maintains the original Brouwer–Heyting–Kolmogorov semantics for intuitionism and is consistent with the well-known approach that intuitionistic knowledge be regarded as the result of verification.
Artemov, Sergei, Protopopescu, Tudor
openaire +2 more sources
Categorical Proof Theory of Co-Intuitionistic Linear Logic [PDF]
Logical Methods in Computer Science, 2014 To provide a categorical semantics for co-intuitionistic logic one has to face the fact, noted by Tristan Crolard, that the definition of co-exponents as adjuncts of coproducts does not work in the category Set, where coproducts are disjoint unions ...
Gianluigi Bellin
doaj +1 more source