# Finite semantics for fragments of intuitionistic logic

## TL;DR

This paper investigates whether finite semantics can be established for various fragments of intuitionistic logic, providing insights into their logical structure with minimal algebraic prerequisites.

## Contribution

It systematically examines all fragments of intuitionistic logic to determine the existence of finite semantics, filling a gap in the understanding of their logical properties.

## Key findings

- Some fragments admit finite semantics
- Most fragments do not admit finite semantics
- Provides a comprehensive classification of fragments

## Abstract

In 1932, G\"odel proved that there is no finite semantics for intuitionistic logic. We consider all fragments of intuitionistic logic and check in each case whether a finite semantics exists. We may fulfill a didactic goal, as little logic and algebra are presupposed.