The following pages link to (Q4789454):
Displaying 4 items.
- Truth-value semantics and functional extensions for classical logic of partial terms based on equality (Q740205) (← links)
- Associative substitutional semantics and quantified modal logic (Q965898) (← links)
- (Q4493877) (← links)
- Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency (Q5425994) (← links)