The Circular Logic of Gaia: Fragility and Fallacies, Regulation and Proofs.

Published in: ECAL (2015)

Keyphrases

natural deduction
cut elimination
modal logic
sequent calculus
proof search
theorem proving
logic programming
hough transform
decision procedures
classical logic
theorem prover
inference rules
linear logic
proof procedure
microstrip antenna
information systems
equational theories
predicate logic