Results 91 to 100 of about 63,358 (127)

A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics

, 2022
Norihiro Suzuki
openalex   +1 more source

Predicate Logical Extensions of some Subintuitionistic Logics

, 2009
Ernst Zimmermann
openalex   +1 more source

Categorical and algebraic aspects of the intuitionistic modal logic IEL― and its predicate extensions

, 2020
Daniel Rogozin
openalex   +1 more source

A Modal Extension of Weak Generalisation Predicate Logic

, 2006
Francisco Kibedi, George Tourlakis
openalex   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Materials challenges for trapped-ion quantum computers

Nature Reviews Materials, 2021
Kenneth R Brown, John Chiaverini, Jeremy M Sage   +2 more
exaly  

Kripke Incompleteness of Predicate Extensions of the Modal Logics Axiomatized by a Canonical Formula for a Frame with a Nontrivial Cluster

, 2000
Tatsuya Shimura
openalex   +1 more source

Constructing a continuum of predicate extensions of each intermediate propositional logic

, 1995
Norihiro Suzuki
openalex   +1 more source

Set abstraction—An extension of all solutions predicate in logic programming language

, 1987
Takashi Yokomori
openalex   +1 more source

On Conservative Extensions in Logics with Infinitary Predicates

, 2009
Miklós Ferenczi
openalex   +1 more source

Extension of results to arbitrary formalisms of predicate logic, and applications to the formalization of the arithmetics of natural and real numbers

, 1987
Alfred Tarski, Steven Givant
openalex   +1 more source