scholarly journals On maximum conservative extensions

Computability ◽  
2015 ◽  
Vol 4 (1) ◽  
pp. 57-68
Author(s):  
Henry Towsner
1991 ◽  
Vol 90 (1) ◽  
pp. 209-233 ◽  
Author(s):  
Andrzej Blikle ◽  
Andrzej Tarlecki ◽  
Mikkel Thorup

2006 ◽  
Vol 71 (3) ◽  
pp. 863-880 ◽  
Author(s):  
Petr Hájek ◽  
Petr Cintula

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.


2020 ◽  
Author(s):  
Elaine Pimentel

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.


Author(s):  
B. Bouchou ◽  
D. Duarte ◽  
M.H. Ferrari Alves ◽  
D. Laurent ◽  
M.A. Musicante

Sign in / Sign up

Export Citation Format

Share Document