Pages that link to "Item:Q2751374"
From MaRDI portal
The following pages link to Connections in nonclassical logics (Q2751374):
Displaying 15 items.
- A proof-search procedure for intuitionistic propositional logic (Q377482) (← links)
- Liberalized variable splitting (Q877894) (← links)
- Connectives and fuzziness for classical effects (Q1304337) (← links)
- On the costs of nonclassical logic (Q1749804) (← links)
- The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics (Q2142078) (← links)
- \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments (Q2303247) (← links)
- A Non-clausal Connection Calculus (Q3010371) (← links)
- Specifying and Verifying Organizational Security Properties in First-Order Logic (Q3058451) (← links)
- (Q3340204) (← links)
- leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions) (Q3541708) (← links)
- (Q4526555) (← links)
- From Schütte’s Formal Systems to Modern Automated Deduction (Q5013905) (← links)
- (Q5141619) (← links)
- Proof Search for the First-Order Connection Calculus in Maude (Q5179137) (← links)
- A new connective in natural deduction, and its application to quantum computing (Q5925711) (← links)
