Pages that link to "Item:Q1355127"
From MaRDI portal
The following pages link to A constructive valuation semantics for classical logic (Q1355127):
Displaying 7 items.
- Truth-value semantics and functional extensions for classical logic of partial terms based on equality (Q740205) (← links)
- A Classical Realizability Model for a Semantical Value Restriction (Q2802494) (← links)
- An Axiomatic Value Model for Isabelle/UTP (Q2971180) (← links)
- Towards a Behavioral Algebraic Theory of Logical Valuations (Q3100162) (← links)
- (Q3328518) (← links)
- (Q4957786) (← links)
- Some covering properties in semantic method of continuous valued logic (Q5174094) (← links)