Pseudo-canonical formulae are classical
type: Item
instance of: scholarly article
title: Pseudo-canonical formulae are classical
zbMATH Open document ID: 1352.03013
author: Artur Korniłowicz
author: Marco Caminati
published in: Formalized Mathematics
publication date: 2017-01-06T00:00:00Z
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 6671099
zbMATH Keywords: Hilbert positive propositional calculus
zbMATH Keywords: classical logic
zbMATH Keywords: canonical
zbMATH Keywords: formulae
MaRDI profile type: Publication
full work available at URL: forma-2014-0011
OpenAlex ID: W2095385640
cites work: Preliminaries to classical first-order model theory
cites work: Q5203581
DOI: 10.2478/FORMA-2014-0011
Recommended article: Q4726394
Recommended article: Q4329247
Recommended article: Q3194743
Recommended article: Q3684196
Recommended article: Q3743665
Recommended article: Pseudospectral Functions for Canonical Differential Systems
Recommended article: Q4007056
Recommended article: Canonical forms for perturbations of the harmonic oscillator
Recommended article: Canonical forms of uptimals
description: scientific article; zbMATH DE number 6671099