scholarly journals On maximum conservative extensions

Computability ◽  
2015 ◽  
Vol 4 (1) ◽  
pp. 57-68
Author(s):  
Henry Towsner
Keyword(s):  
Conservative Extensions

scholarly journals On conservative extensions of syntax in system development

1991 ◽  
Vol 90 (1) ◽  
pp. 209-233 ◽  
Author(s):  
Andrzej Blikle ◽  
Andrzej Tarlecki ◽  
Mikkel Thorup
Keyword(s):  
System Development ◽  
Conservative Extensions

On theories and models in fuzzy predicate logics

2006 ◽  
Vol 71 (3) ◽  
pp. 863-880 ◽  
Author(s):  
Petr Hájek ◽  
Petr Cintula
Keyword(s):  
Model Theory ◽  
Completeness Theorem ◽  
Fuzzy Logics ◽  
Formal Systems ◽  
Conservative Extensions

AbstractIn the last few decades many formal systems of fuzzy logics have been developed. Since the main differences between fuzzy and classical logics lie at the propositional level, the fuzzy predicate logics have developed more slowly (compared to the propositional ones). In this text we aim to promote interest in fuzzy predicate logics by contributing to the model theory of fuzzy predicate logics. First, we generalize the completeness theorem, then we use it to get results on conservative extensions of theories and on witnessed models.

scholarly journals Proof systems for Geometric theories (PROGEO)

2020 ◽  
Author(s):  
Elaine Pimentel
Keyword(s):  
Projective Geometry ◽  
Automated Deduction ◽  
First Order ◽  
Systematic Procedure ◽  
Proof Systems ◽  
Conservative Extensions

We plan to study the problem of finding conservative extensions of first order logics. In this project we intend to establish a systematic procedure for adding geometric theories in both intuitionistic and classical logics, as well as to extend this procedure to bipolar axioms, a generalization of the set of geometric axioms. This way, we obtain proof systems for several mathematical theories, such as lattices, algebra and projective geometry, being able to reason about such theories using automated deduction.

Conservative Extensions of Regular Languages

2005 ◽  
Author(s):  
B. Bouchou ◽  
D. Duarte ◽  
M.H. Ferrari Alves ◽  
D. Laurent ◽  
M.A. Musicante
Keyword(s):  
Regular Languages ◽  
Conservative Extensions
Sign in / Sign up

Export Citation Format

Share Document