Pages that link to "Item:Q5240950"
From MaRDI portal
The following pages link to Equality propositional logic and its extensions (Q5240950):
Displaying 12 items.
- Equivalence of syllogisms (Q558433) (← links)
- Truth-value semantics and functional extensions for classical logic of partial terms based on equality (Q740205) (← links)
- On elementary equivalence for equality-free logic (Q1355131) (← links)
- Logic with equality: Partisan corroboration and shifted pairing (Q1854299) (← links)
- Internalizing equality in Boolean algebras (Q1866807) (← links)
- On the logic of factual equivalence (Q2804475) (← links)
- (Q3716324) (← links)
- (Q4820591) (← links)
- On logical and concurrent equivalences (Q4917082) (← links)
- Natural Deduction for Equality: The Missing Entity (Q5251187) (← links)
- (Q5695181) (← links)
- Computer Aided Verification (Q5716573) (← links)