Work

Formalization of Natural Deduction System in Proposition Calculus

Year: 2024

Type: conference-paper

Source: China Automation Congress (CAC)

DOI: 10.1109/cac63892.2024.10864478

Authors: Tingting Ji, Wen sheng Yu

Institution: Beijing University of Posts and Telecommunications

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4407473955

FWCI:

Cites: 8

Cited by:

Related to: 10