Topological Aspects of Matrix Abduction 1

DOI10.1007/978-3-319-15368-1_16zbMath1371.06002OpenAlexW1499666395MaRDI QIDQ5350342

Azriel Laufer, Dov M. Gabbay

Publication date: 28 August 2017

Published in: Studies in Universal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-15368-1_16

zbMATH Keywords

graph theorypartially ordered setsposet dimensionmatrix abductionKal Vachomer

Mathematics Subject Classification ID

Combinatorics of partially ordered sets (06A07) Probability and inductive logic (03B48) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Other applications of logic (03B80)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Analysis of the Talmudic argumentum a fortiori inference rule (Kal Vachomer) using matrix abduction
• The representation of posets and lattices by sets
• Embedding finite posets in cubes
• On the pseudodimension of ordered sets

This page was built for publication: Topological Aspects of Matrix Abduction 1