Results 121 to 130 of about 785,300 (287)

Automating Theories in Intuitionistic Logic [PDF]

, 2009
Deduction modulo consists in applying the inference rules of a deductive system modulo a rewrite system over terms and formulae. This is equivalent to proving within a so-called compatible theory. Conversely, given a first-order theory, one may want to internalize it into a rewrite system that can be used in deduction modulo, in order to get an ...
openaire   +3 more sources

SBE-Algebras via Intuitionistic Fuzzy Structures

Mathematics
The study introduces the concept of intuitionistic fuzzy SBE-subalgebras, ideals, and filters, along with level sets of intuitionistic fuzzy sets within the framework of Sheffer stroke BE-algebras. These concepts are shown to be crucial for understanding
Tahsin Oner, Hashem Bordbar, Neelamegarajan Rajesh, Akbar Rezaei   +3 more
doaj   +1 more source

Generalized Intuitionistic Fuzzy Ideals of BCK∕BCI-algebras Based on 3-valued Logic and Its Computational Study

Fuzzy Information and Engineering, 2017
On the basis of cut sets of the grade of membership of fuzzy point xa to belongingness (∈), or quasi-coincident (q), or belongingness and quasi-coincident(∈∧q), or belongingness or quasi-coincident (∈∨q) to an intuitionistic fuzzy set A of X, an (α,β ...
Chiranjibe Jana, Madhumangal Pal
doaj   +1 more source

Intuitionistic propositional logic is polynomial-space complete [PDF]

, 1979
Richard Statman
openalex   +1 more source

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  

Another proof of the strong completeness of the intuitionistic fuzzy logic [PDF]

, 1987
Mitio Takano
openalex   +1 more source

Extending intuitionistic linear logic with knotted structural rules. [PDF]

, 1994
Ryo Hori, H. Ono, Harold Schellinx
openalex   +1 more source

On Frege's Nightmare: A Combination of Intuitionistic, Free and Paraconsistent Logics [PDF]

, 2001
Shahid Rahman
openalex   +1 more source

Intuitionistic logic, dual intuitionistic logic, and modality

We explore various semantic understandings of dual intuitionistic logic by exploring the relationship between co-Heyting algebras and topological spaces. First, we discuss the relevant ideas in the setting of Heyting algebras and intuitionistic logic, showing organically the progression from the primordial example of lattices of open sets of ...
openaire   +2 more sources

Quantum Logic in Intuitionistic Perspective

Studia Logica, 2002
In their seminal paper Birkhoff and von Neumann revealed the following dilemma: "... whereas for logicians the orthocomplementation properties of negation were the ones least able to withstand a critical analysis, the study of mechanics points to the distributive identities as the weakest link in the algebra of logic." In this paper we eliminate this ...
openaire   +3 more sources