scientific article; zbMATH DE number 2109247

From MaRDI portal

Publication:4821868

Jump to:navigation, search

zbMath1058.03025MaRDI QIDQ4821868

Mariusz Urbański

Publication date: 22 October 2004

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Łukasiewicz 3-valued logic synthetic tableaux

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Many-valued logic (03B50)

Related Items (2)

Paranegations and the square of oppositions ⋮ Synthetic tableaux: Minimal tableau search heuristics

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4821868&oldid=19145198"