The following pages link to Alexej P. Pynko (Q189427):
Displaying 32 items.
- Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules (Q698829) (← links)
- A relative interpolation theorem for infinitary universal Horn logic and its applications (Q818926) (← links)
- Implicational classes of De Morgan lattices (Q1301839) (← links)
- Definitional equivalence and algebraizability of generalized logical systems (Q1302288) (← links)
- Algebraic study of Sette's maximal paraconsistent logic (Q1344874) (← links)
- Extensions of Hałkowska-Zajac's three-valued paraconsistent logic (Q1407542) (← links)
- Distributive-lattice semantics of sequent calculi with structural rules (Q1931305) (← links)
- Many-place sequent calculi for finitely-valued logics (Q1931344) (← links)
- Minimal Sequent Calculi for Łukasiewicz’s Finitely-Valued Logics (Q2810128) (← links)
- (Q2896493) (← links)
- Subquasivarieties of implicative locally-finite quasivarieties (Q3066295) (← links)
- (Q3433181) (← links)
- (Q3607961) (← links)
- Regular bilattices (Q4443414) (← links)
- Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions (Q4443421) (← links)
- (Q4455539) (← links)
- (Q4487294) (← links)
- Subprevarieties versus extensions. Application to the logic of paradox (Q4508259) (← links)
- (Q4660202) (← links)
- (Q4822149) (← links)
- (Q4828042) (← links)
- Characterizing Belnap's Logic via De Morgan's Laws (Q4857857) (← links)
- On Priest's logic of paradox (Q4868229) (← links)
- Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations (Q4999460) (← links)
- (Q5169620) (← links)
- Minimization of the conjunctive normal forms of partially monotonic Boolean functions (Q5271511) (← links)
- (Q5411466) (← links)
- (Q5430379) (← links)
- (Q5467304) (← links)
- (Q5467447) (← links)
- Implicational classes of De Morgan Boolean algebras (Q5937445) (← links)
- Fuzzy semantics for multiple-conclusion sequential calculi with structural rules (Q5947553) (← links)
