Semantic Scholar uses AI to extract papers important to this topic.
A focused proof system provides a normal form to cut-free proofs in which the application of invertible and non-invertible… Expand There are basically two ways to view intuitionistic logic: (i) as a philosoph ical–foundational issue in mathematics, (ii) as a… Expand 1. Introduction and Discussion 2. Modal and Superintuitionistic Logics: Basic Concepts 3. Superintuitionistic Logics and Normal… Expand In this paper one generalizes the intuitionistic fuzzy logic (IFL) and other logics to neutrosophic logic (NL). The differences… Expand A logic program <inline-equation><f><g>P</g><subscrpt>1</subscrpt></f> </inline-equation> is said to be equivalent to a logic… Expand We present a new intuitionistic linear logic, Dual Intuitionistic Linear Logic, designed to reflect the motivation of… Expand Possible world semantics underlies many of the applications of modal logic in computer science and philosophy. The standard… Expand ?0. Prologue. Gentzen's sequent calculus LJ, and its variants such as G3 , are (as is well known) convenient as a basis for… Expand Contents: Introduction Propositional Logic Predicate Logic Completeness and Applications Second Order Logic Intuitionistic Logic… Expand It is the purpose of this note to show that the question of whether a given propositional formula is intuitionistically valid (in… Expand