The following pages link to (Q3695251):
Displaying 7 items.
- Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity (Q283093) (← links)
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class (Q909692) (← links)
- Remarks on a survey article on many valued logic by A. Urquhart (Q1100190) (← links)
- Finite concrete logics: their structure and measures on them (Q1266012) (← links)
- A small remark on Hilbert's finitist view of divisibility and Kanovich-Okada-Scedrov's logical analysis of real-time systems (Q2037979) (← links)
- (Q4936643) (← links)
- A Generalization of Maksimova’s Criterion for the Disjunction Property (Q5214734) (← links)
