Pages that link to "Item:Q4820475"
From MaRDI portal
The following pages link to Rules and Refutation Rules for the Logic of Finite n-ary Trees (Q4820475):
Displaying 7 items.
- VDM specification for the tree-modification method of refutation (Q1817122) (← links)
- \(Ntyft/ntyxt\) rules reduce to \(n\)tree rules (Q1917088) (← links)
- Finite tree property for first-order logic with identity and functions (Q2565989) (← links)
- Deciding validity in a spatial logic for trees (Q3367666) (← links)
- Intuitionistic Socratic procedures (Q3647238) (← links)
- NP trees and Carnap's modal logic (Q4369870) (← links)
- First-order logic on finite trees (Q5096727) (← links)