Pages that link to "Item:Q1061731"

The following pages link to Natural deduction and arbitrary objects (Q1061731):

Displaying 13 items.

• Angellic content (Q288248) (← links)
• The epsilon-reconstruction of theories and scientific structuralism (Q334861) (← links)
• Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness (Q730088) (← links)
• Defining answer classes using resolution refutation (Q881832) (← links)
• A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets (Q1006642) (← links)
• Modal languages and bounded fragments of predicate logic (Q1267082) (← links)
• Merging without mystery or: Variables in dynamics semantics (Q1896789) (← links)
• On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic (Q1909605) (← links)
• Are logical languages compositional? (Q2016061) (← links)
• Identity in Mares-Goldblatt models for quantified relevant logic (Q2056221) (← links)
• Grounding, quantifiers, and paradoxes (Q2056222) (← links)
• Reasoning about arbitrary natural numbers from a Carnapian perspective (Q2323694) (← links)
• a-Logic With Arrows (Q5403474) (← links)