Pages that link to "Item:Q2193971"
From MaRDI portal
The following pages link to A note on strong axiomatization of Gödel justification logic (Q2193971):
Displaying 5 items.
- A finite axiomatization of the set of strongly valid Ockhamist formulas (Q1066884) (← links)
- Quantitative analysis of a subgradient-type method for equilibrium problems (Q2129632) (← links)
- (Q4944902) (← links)
- A Note on Gödel-Dummet Logic LC (Q6043008) (← links)
- On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs (Q6115850) (← links)