Skolemization and Herbrand theorems for lattice-valued logics
type: Item
instance of: scholarly article
title: Skolemization and Herbrand theorems for lattice-valued logics
zbMATH Open document ID: 1472.03022
author: Petr Cintula
author: Denisa Diaconescu
author: George Metcalfe
published in: Theoretical Computer Science
publication date: 2019-03-26T00:00:00Z
full work available at URL: https://boris.unibe.ch/127736/
Mathematics Subject Classification ID: 03B50
zbMATH DE Number: 7041828
zbMATH Keywords: Skolemization
zbMATH Keywords: Herbrand theorems
zbMATH Keywords: non-classical logics
zbMATH Keywords: lattices
MaRDI profile type: Publication
OpenAlex ID: W2913358032
cites work: On Skolemization in constructive theories
cites work: Skolemization in intermediate logics with the finite model property
cites work: Herbrand's Theorem, Skolemization and Proof Systems for First-Order Lukasiewicz Logic
cites work: Handbook of proof theory
cites work: Algebraic proof theory for substructural logics: cut-elimination and completions
cites work: Skolemization for Substructural Logics
cites work: Herbrand Theorems for Substructural Logics
cites work: Q5406033
cites work: A HENKIN-STYLE PROOF OF COMPLETENESS FOR FIRST-ORDER ALGEBRAIZABLE LOGICS
cites work: Proving termination with multiset orderings
cites work: Algebraic methods in philosophical logic
cites work: Q5509706
cites work: Residuated lattices. An algebraic glimpse at substructural logics
cites work: Bounded lattice expansions
cites work: Q4313857
cites work: Metamathematics of fuzzy logic
cites work: Making fuzzy description logic more general
cites work: Q5406041
cites work: A theorem about infinite-valued sentential logic
cites work: Q4805593
cites work: Lattice-valued logic. An alternative approach to treat fuzziness and incomparability
Wikidata QID: Q128370524
DOI: 10.1016/J.TCS.2019.02.007
description: scientific article; zbMATH DE number 7041828