The following pages link to Petr Cintula (Q368485):
Displayed 12 items.
- A HENKIN-STYLE PROOF OF COMPLETENESS FOR FIRST-ORDER ALGEBRAIZABLE LOGICS (Q5251374) (← links)
- AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS (Q5381042) (← links)
- NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES (Q5402233) (← links)
- (Q5406032) (← links)
- (Q5406033) (← links)
- Features of Mathematical Theories in Formal Fuzzy Logic (Q5432296) (← links)
- Residuated logics based on strict triangular norms with an involutive negation (Q5485400) (← links)
- (Q5884949) (← links)
- About axiomatic systems of product fuzzy logic (Q5953526) (← links)
- Relevant Consequence Relations: An Invitation (Q6404405) (← links)
- Algebraic semantics for one-variable lattice-valued logics (Q6411118) (← links)
- One-variable fragments of first-order logics (Q6456522) (← links)