Results 1 to 10 of about 722,619 (215)
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
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
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
HH∗−intuitionistic heyting valued Ω-algebra and homomorphism [PDF]
Journal of Hyperstructures, 2017 Intuitionistic Logic was introduced by L. E. J. Brouwer in[1] and Heyting algebra was defined by A. Heyting to formalize the Brouwer’s intuitionistic logic[4]. The concept of Heyting algebra has been accepted as the basis for intuitionistic propositional
Sinem Tarsuslu(Yılmaz) +1 more
doaj +1 more source
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 +1 more source
Dualized Simple Type Theory [PDF]
Logical Methods in Computer Science, 2017 We propose a new bi-intuitionistic type theory called Dualized Type Theory (DTT). It is a simple type theory with perfect intuitionistic duality, and corresponds to a single-sided polarized sequent calculus.
Harley Eades III +2 more
doaj +1 more source
Relating Sequent Calculi for Bi-intuitionistic Propositional Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Bi-intuitionistic logic is the conservative extension of intuitionistic logic with a connective dual to implication. It is sometimes presented as a symmetric constructive subsystem of classical logic.
Luís Pinto, Tarmo Uustalu
doaj +1 more source
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 +1 more source