1. On the Existence of Independent Axiom Systems for Infinite Sentence Systems

1969 ◽  
pp. 29-52
Keyword(s):  
Independent Axiom ◽  
Axiom Systems

scholarly journals Independent axiom systems for nearlattices

2011 ◽  
Vol 61 (4) ◽  
pp. 975-992 ◽  
Author(s):  
João Araújo ◽  
Michael Kinyon
Keyword(s):  
Independent Axiom ◽  
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

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
Sign in / Sign up

Export Citation Format

Share Document