Proof Search in Lax Logic

Mathematical Structures in Computer Science - United Kingdom
doi 10.1017/s0960129501003334
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

Deep Proof Search in MELL

English

Logic and Proof in Computer Science

Advances in Knowledge Acquisition, Transfer, and Management
English

Proof Complexity of Propositional Default Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Proof Complexity of Propositional Default Logic

Archive for Mathematical Logic
PhilosophyLogic
2011English

Proof Automation for Functional Correctness in Separation Logic

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2014English

Deep Network Guided Proof Search

English

Extracting Proofs From Tabled Proof Search

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Knowledge Representation in a Proof Checker for Logic Programs

2012English

Proof Planning for First-Order Temporal Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy