Finite axiom systems for testing preorder and De Simone process languages

1996 ◽  
pp. 210-224
Author(s):  
Irek Ulidowski
Keyword(s):  
Axiom Systems

On Sequential Form of Functional Dynamic Logics

1984 ◽  
Vol 7 (3) ◽  
pp. 357-358
Author(s):  
Regimantas Pliuškevičius
Keyword(s):  
Axiom Systems ◽  
Dynamic Logics

A Gentzen-style axiomatization of dynamic logics is proposed. It is compared to other axiom systems for dynamic logics. Some problems of relative decidability are considered.

Axiom Systems

1986 ◽  
pp. 29-44
Author(s):  
Giorgio Nicoletti ◽  
Neil White
Keyword(s):  
Axiom Systems

scholarly journals Axiom systems of $B$-algebra

1966 ◽  
Vol 42 (8) ◽  
pp. 867-870
Author(s):  
Corneliu Sicoe
Keyword(s):  
Axiom Systems

scholarly journals On axiom systems of propositional calculi, II

1965 ◽  
Vol 41 (6) ◽  
pp. 440-442
Author(s):  
Yoshinari Arai
Keyword(s):  
Axiom Systems ◽  
Propositional Calculi

First-Order Axiom Systems

1998 ◽  
pp. 132-139
Author(s):  
Melvin Fitting ◽  
Richard L. Mendelsohn
Keyword(s):  
First Order ◽  
Axiom Systems

Axiom Systems for Trilattice Logics

2011 ◽  
pp. 93-112
Author(s):  
Yaroslav Shramko ◽  
Heinrich Wansing
Keyword(s):  
Axiom Systems

Theories and Axiom Systems

1974 ◽  
pp. 93-111
Author(s):  
Roland Fraïssé
Keyword(s):  
Axiom Systems

scholarly journals On axiom systems of ontology, I

1970 ◽  
Vol 46 (3) ◽  
pp. 255-257
Author(s):  
Shôtarô Tanaka
Keyword(s):  
Axiom Systems
Sign in / Sign up

Export Citation Format

Share Document