The following pages link to Logic and structure. (Q5906606):
Displaying 20 items.
- Fuzzy logic with countable evaluated syntax revisited (Q878970) (← links)
- Logical optimality of groundness analysis (Q1605228) (← links)
- Defining stage argumentation semantics in terms of an abducible semantics (Q1744437) (← links)
- Simple proof of the completeness theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted logic (Q1884882) (← links)
- Dealing with explicit preferences and uncertainty in answer set programming (Q1928820) (← links)
- On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators (Q1945704) (← links)
- Diagnosability of fair transition systems (Q2152493) (← links)
- Possibilistic nested logic programs and strong equivalence (Q2344722) (← links)
- Fitch's paradox and probabilistic antirealism (Q2454642) (← links)
- Referential logic of proofs (Q2500486) (← links)
- Mechanizing common knowledge logic using COQ (Q2643149) (← links)
- Modality Argumentation Programming (Q3619462) (← links)
- Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM 1 (Q3637184) (← links)
- Realization of Intuitionistic Logic by Proof Polynomials (Q4531579) (← links)
- KNOWLEDGE, JUSTIFICATION, AND ADEQUATE REASONS (Q5024506) (← links)
- (Q5109511) (← links)
- Deriving Natural Deduction Rules from Truth Tables (Q5224496) (← links)
- Symbolic reachability computation for families of linear vector fields (Q5945290) (← links)
- The single-conclusion proof logic and inference rules specification (Q5957913) (← links)
- Proof Terms for Generalized Natural Deduction (Q6060674) (← links)
